What ⋠ means
It rules out x preceding or equalling y.
The symbol is the negated form of , meaning “precedes or equals.” Its crossing stroke says “not” and applies to the whole relation, including equality. An ordering rule specifies how objects are compared; “precedes” need not mean earlier in time.
In a partial order, some pairs cannot be compared in either direction. For example, if sets are ordered by inclusion, {1} is not contained in {2}, and {2} is not contained in {1}. With defined as inclusion, both {1} ⋠ {2} and {2} ⋠ {1} hold. So reversing the order is not the same as negating it.
Part of collections
Don't confuse it with
1How to type or find ⋠
- Also called
- npreceq
- Search it as
- negated precedence · order relation · partial order
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⋠\22E0amssymb and use \npreceq in math mode.Codes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.






