Precedes But Not Equivalent To
Block: Mathematical Operators
- Symbol
- ⋨
- Unicode
U+22E8- Unicode name
- PRECEDES BUT NOT EQUIVALENT TO
- Block
- Mathematical Operators
- Category
- Symbol, Math
- Type
- Unicode symbol
Precedes But Not Equivalent To (⋨) is the Unicode character U+22E8, formally named PRECEDES BUT NOT EQUIVALENT TO. PRECEDES establishes the direction of the relation; UNDER RELATION further identifies the named variant. The corresponding SUCCEEDS form is a different Unicode character. A separately encoded comparison target is ⋩ Succeeds But Not Equivalent To (U+22E9).
Why ⋨ is a precedes-family relation
⋨ is named for a precedes relation. Unicode therefore treats it as a mathematical relation character, not merely as a decorative curved less-than shape.
UNDER RELATION narrows the PRECEDES family to this named variant. The corresponding SUCCEEDS UNDER RELATION character reverses the reading and has another code point.
Need to identify another character? Use identify the ⋨ symbol with the symbol itself, its Unicode value, or a description of how it looks.
Why U+22E8 and U+22E9 remain separate characters
⋨ (U+22E8) says PRECEDES UNDER RELATION. Its named counterpart ⋩ (U+22E9) says SUCCEEDS BUT NOT EQUIVALENT TO. The pair therefore differs by relation direction, not by font styling.
For U+22E8, PRECEDES is the directional word that must survive any character replacement.
How ⋨ Is Encoded
U+22E8 = decimal 8936 = HTML ⋨ / ⋨. A Unicode escape-style form is u22E8. Its UTF-8 bytes are E2 8B A8.
Use these identifiers in markup, source code, exports, or character diagnostics when the glyph alone is not enough.