SmallerEqual

SmallerEqual[ expr1, expr2 ]

SmallerEqual[ expr1, expr2 ] is the smaller-than-or-equals inequality with sides expr1 and expr2.

Example in rendered reduced
The inequality 2 <= 4. 2 <= 4 True
The inequality x ≤ 4. SmallerEqual[x, 4] x ≤ 4