A strict order relation symbol indicating precedence without equality, commonly used in partial ordering and set theory.
TeXipedia
A strict order relation symbol indicating precedence without equality, commonly used in partial ordering and set theory.