U+22E9 "⋩" Succeeds but Not Equivalent To Unicode Character
Unicode Version 17.0
U+22E9 "⋩" Succeeds but Not Equivalent To is a mathematical relational symbol used in formal logic, set theory, and advanced algebra to denote that one element or expression comes after another in a defined ordering, while also explicitly indicating that the two are not logically or numerically equivalent. It combines the visual and conceptual components of a greater-than-like relation (succeeds) with a negation of equality, distinguishing it from a simple "greater than" sign by focusing on relational order rather than magnitude. This symbol is part of the Mathematical Operators block and is often employed in fuzzy logic, lattice theory, or order theory contexts where partial orders require a distinction between sequential precedence and exact equality.
General Properties
Encodings
| HTML Decimal Encoding |
⋩ |
| HTML Hex Encoding |
⋩ |
| UTF-8 Encoding |
0xE2 0x8B 0xA9 |
| UTF-16 Encoding |
0x22E9 |
| UTF-32 Encoding |
0x000022E9 |
| C/C++/Java Escape |
\u22e9 |
Unicode Properties