A relational symbol representing a slanted less-than comparison, commonly used in inequalities and ordered structures.
