A relational symbol representing an unspecified or varying ordering that can be greater than, equal to, or less than.
