U+22D6 "⋖" Less-than with Dot Unicode Character

U+22D6 "⋖" Less-than with Dot is a mathematical symbol used primarily in formal logic, order theory, and computer science to denote a refined or more specific type of inequality or ordering relation. The dot placed beneath the standard less-than sign modifies its meaning, often indicating a relation that is both less than and satisfies an additional property, such as being a "less-than" under a particular partial order or a "preorder" with a distinguished element. It can also appear in lattice theory or abstract algebra to represent a covering relation or a strict but not necessarily transitive ordering, depending on the context of the notation. While not as common as the basic less-than sign, this symbol provides precision in advanced mathematical discourse when a standard comparison operator needs further qualification.