⋨
Math Operator 229
- Unicode
- U+22E8
- Category
- Math
- HTML Entity
- ⋨
- CSS
- \22E8
The 'Precedes But Not Equivalent To' symbol (⋨) is a mathematical operator used in order theory to indicate that one element strictly comes before another without being equivalent to it. It combines the 'precedes' relation with a struck-through tilde, visually reinforcing that the two elements do not share an equivalence class. While primarily found in advanced mathematical texts and proofs, it is easily reproduced in digital documents using LaTeX or Unicode.
How to Type
- Windows
- Type 22E8 then press Alt + X (in Microsoft Word)
- macOS
- Control + Command + Space to open Character Viewer, then search 'precedes'
- Linux
- Ctrl + Shift + U, then type 22e8 and press Enter
- HTML
- ⋨ or ⋨
In Programming
In digital typesetting and web development, this symbol is typically rendered in complex mathematical formulas using the LaTeX command \precnsim or the MathML entity ⋨.
Tags
LaTeX operator
Unicode U+22E8
comparison operator
equivalence class
math relation
mathematics
negation
negation symbol
order theory symbol
ordering
partial order
precedence symbol
precedes not equivalent
relation
strict precedence