⋩
Math Operator 230
- Unicode
- U+22E9
- Category
- Math
- HTML Entity
- ⋩
- CSS
- \22E9
The ⋩ symbol, officially known as "Succeeds But Not Equal To," is an advanced mathematical operator used primarily in order theory and logic. It visually denotes a strict successor relationship, indicating that one element follows another in a defined sequence but is not identical to it. While rarely seen outside of academic environments, it provides an essential, precise shorthand for expressing strict partial orders in complex proofs.
How to Type
- Windows
- Type 22E9 then press Alt + X (in Microsoft Word), or use Win + . to open the symbol panel
- macOS
- Control + Command + Space then search "succeeds but not equal to"
- Linux
- Ctrl + Shift + U then type 22E9 and press Enter
- HTML
- &succneq; or ⋩
In Programming
In mathematical typesetting, this symbol is generated in LaTeX using the '\succneq' command. It occasionally appears in algorithm documentation dealing with strict partial orders, directed graphs, and set hierarchies.
Tags
LaTeX operator
Unicode U+22E9
comparison operator
logic symbol
math relation
mathematics
negation
negation operator
order theory
ordering
partial order symbol
relation
strict successor
succeeds not equal
succeeds not equivalent
succession symbol