Smaller

Smaller[ expr1, expr2 ]

Smaller[ expr1, expr2 ] is the smaller-than inequality with sides expr1 and expr2.

Example in rendered reduced
The inequality 2 < 4. 2 < 4 True
The inequality x < 4. Smaller[x, 4] x < 4