Definition:Preordering/Notation

Definition
Symbols used to define such a general preordering relation are usually variants on $\lesssim$, $\precsim$ or $\precapprox$.

A symbol for a preordering can be reversed, and the sense is likewise inverted:


 * $a \precsim b \iff b \succsim a$