A relational symbol representing a slanted greater-than-or-equal relationship, combining aspects of \geq and > in ordered sets.
A relational symbol representing a slanted greater-than-or-equal relationship, combining aspects of \geq and > in ordered sets.