Succeeds But Not Equivalent To
Block: Mathematical Operators
- Symbol
- ⋩
- Unicode
U+22E9- Unicode name
- SUCCEEDS BUT NOT EQUIVALENT TO
- Block
- Mathematical Operators
- Category
- Symbol, Math
- Type
- Unicode symbol
Succeeds But Not Equivalent To (⋩) is the Unicode character U+22E9, formally named SUCCEEDS BUT NOT EQUIVALENT TO. SUCCEEDS gives the inverse direction of the related PRECEDES form. UNDER RELATION is part of the formal name, so the code point should be chosen by relation name rather than visual similarity. A separately encoded comparison target is ⋨ Precedes But Not Equivalent To (U+22E8).
The succeeds relation encoded by ⋩
⋩ is named for a succeeds relation. Its formal name gives the relation family needed to distinguish it from the corresponding precedes form.
This is the SUCCEEDS member of the UNDER RELATION pair. Replacing it with PRECEDES UNDER RELATION reverses the formal relation direction.
For a different unknown mark, try what does the ⋩ symbol mean? and identify the character from its glyph, Unicode value, or appearance.
Digital Representations of U+22E9
U+22E9 = decimal 8937 = HTML ⋩ / ⋩. A Unicode escape-style form is u22E9. Its UTF-8 bytes are E2 8B A9.
Use these identifiers in markup, source code, exports, or character diagnostics when the glyph alone is not enough.
The formal-name difference between ⋩ and ⋨
The SUCCEEDS UNDER RELATION character ⋩ is U+22E9. The comparison character ⋨ is U+22E8 (PRECEDES BUT NOT EQUIVALENT TO). Choosing between them changes the direction named by the relation.
For U+22E9, SUCCEEDS is the directional word that distinguishes this relation from its inverse.