Inequality Attributes[Inequality] := {Protected} Simple examples In[1]:= Inequality[Pi*-1, Less, 0, LessEqual, Pi] Out[1]= True In[2]:= Inequality[Pi*-1, Less, 0, LessEqual, a] Out[2]= (0) <= (a)