A relational operator indicating strictly less than with an additional dot, commonly used in ordered algebraic structures.
TeXipedia
A relational operator indicating strictly less than with an additional dot, commonly used in ordered algebraic structures.