\lessdot
The \lessdot operator is used to denote a relation where one element is less than another, with an additional context or condition, often used in order theory or lattice theory.
Element 'a' is less than element 'b' with some additional context or condition.
a \lessdot b
A chain of elements where each is less than the next under a specific condition.
x \lessdot y \lessdot z
Transitive relation showing 'p' is less than 'q' and 'q' is less than 'r' with conditions.
p \lessdot q \land q \lessdot r