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)
Attributes[Inequality] := {Protected}
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)