Succeeds But Not Equivalent To Symbol
⋩ (U+22E9) indicates a relation where one thing succeeds another but they are not equivalent.
U+22E9
The symbol ⋩ is a Unicode math character named “SUCCEEDS BUT NOT EQUIVALENT TO”. It’s commonly used in mathematical notation to express a specific kind of ordering or relation. Below you’ll find copy options, meaning, and example phrases.
Succeeds But Not Equivalent To Symbol Meaning
⋩ (Unicode U+22E9) is the mathematical symbol “SUCCEEDS BUT NOT EQUIVALENT TO”. In relation-based notation, it is used to state that one element comes after another (or succeeds it) while explicitly indicating the two elements are not equivalent. This helps distinguish a “not equal in the equivalent sense” situation from plain succession or from equivalence-based relations. If you’re typesetting logic, order relations, or formal comparisons, ⋩ can communicate the combination of “successor” plus “not equivalent” without needing extra words.
Common uses
- •Writing ordered relations in math notes where succession must exclude equivalence
- •Formalizing constraints in logic or specification documents
- •Labeling diagrams or proofs that distinguish “next” from “equal”
- •Annotating educational materials about custom relational symbols
- •Using Unicode symbols in LaTeX/MathML contexts when a specific relation is needed
Examples
⋩ Succeeds but not equivalent to
- ⋩a ⋩ b means “a succeeds b, but they are not equivalent.”
- ⋩In our model, x ⋩ y rules out equivalence while keeping successor order.
- ⋩The relation R includes cases where u ⋩ v holds.
- ⋩For distinct classes, class A ⋩ class B is allowed.
- ⋩We write s ⋩ t to indicate succession without equivalence.
Variations
Ready to copy
Technical codes
| Unicode | U+22E9 | |
| HTML Entity | ⋩ | |
| HTML Code | ⋩ | |
| CSS | \22E9 | |
| Alt Code | Alt + 8937 | |
| Decimal | 8937 |
How to type Succeeds But Not Equivalent To Symbol (⋩)
On Windows
Hold Alt and type 8937 on the numeric keypad. In Word, type 22E9 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22E9. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22e9, then press Enter or Space.
Anywhere
Copy ⋩ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does the Succeeds But Not Equivalent To symbol mean?
⋩ (Unicode U+22E9) is the mathematical symbol “SUCCEEDS BUT NOT EQUIVALENT TO”. In relation-based notation, it is used to state that one element comes after another (or succeeds it) while explicitly indicating the two elements are not equivalent. This helps distinguish a “not equal in the equivalent sense” situation from plain succession or from equivalence-based relations. If you’re typesetting logic, order relations, or formal comparisons, ⋩ can communicate the combination of “successor” plus “not equivalent” without needing extra words.
What is the Unicode name of ⋩?
The Unicode name is “SUCCEEDS BUT NOT EQUIVALENT TO”.
What is the code point for ⋩?
⋩ is U+22E9.
How can I copy ⋩ into HTML?
You can use the HTML entity: ⋩.
Is ⋩ the same as “not equal to” (≠)?
No. ⋩ is a specific relational symbol about success/succession combined with “not equivalent”, while ≠ only states inequality in general.