Definition:Strictly Precede/Notation

Strictly Precede: Notation
When $a \preceq b$ and $a \ne b$, it is usual to denote this with the symbol:


 * $a \prec b$

and similar derived notation for other ordering symbols.