A relational symbol representing strict inequality "less than" in ordered sets and numerical comparisons.
Examples
Basic inequality
x \lt 5
Compound inequality
-3 \lt x \lt 7
Function domain condition
f(x) = \sqrt{x} \text{ for } x \lt 0
A relational symbol representing strict inequality "less than" in ordered sets and numerical comparisons.