addeqineq:Aadir una ecuacin a una desigualdad
addineq:Sumar dos desigualdades
addnum:Sumar un nmero a ambos lados de una desigualdad
addterm:Agregar una expresin a ambos lados de una desigualdad
constineq:Introducir una desigualdad constante
divexp:Dividir una desigualdad por una expresin
divnum:Dividir una desigualdad por un nmero
exsides:Intercambiar los dos lados de una desigualdad
lincomb:Suma de desigualdades con coeficientes
mulexp:Multiplicar una desigualdad por una expresin
mulineq:Multiplicar dos desigualdades
mulnum:Multiplicar una desigualdad por un nmero
obvineq:Introducir una desigualdad obvia
rewrite:Reescribir una desigualdad
simpdeduc:Deduccin de desigualdad simple
splitineq:Separar los casos segn una desigualdad
sqrpos:Positividad de un cuadrado
trans:Transitividad de las desigualdades
