⋡
Math Operator 222
- Unicode
- U+22E1
- Category
- Math
- HTML Entity
- ⋡
- CSS
- \22E1
The ⋡ (Does Not Succeed Or Equal) symbol is a mathematical operator primarily used in order theory and logic. It visually combines the "succeeds or equal to" sign with a strikethrough slash, denoting that one element does not come after, nor is it equivalent to, another in a partially ordered set. While you won't see it in everyday typing, it is an essential notation for mathematicians and logicians writing formal academic proofs.
How to Type
- Windows
- Type 22E1 then press Alt + X
- macOS
- Control + Command + Space, then search "does not succeed or equal"
- Linux
- Ctrl + Shift + U, then 22E1, then Space
- HTML
- ⋡
In Programming
This symbol is predominantly used in mathematical typesetting environments like LaTeX using the \nsucceq command. It is not used as a native operator in standard programming languages, but frequently appears in symbolic computation systems like Mathematica or Coq.
Tags
LaTeX nsucceq
does not follow
does not succeed
math proof symbol
mathematics
negation
negation math symbol
not succeeds
not succeeds or equal
nsucceq
order theory symbol
ordering
partial order negation
relation
succeeds or equal negation