A relational symbol representing a non-strict triangular comparison with equality, commonly used in order theory and abstract algebra.
TeXipedia
A relational symbol representing a non-strict triangular comparison with equality, commonly used in order theory and abstract algebra.