⊀
Math Operator 125
- Unicode
- U+2280
- Category
- Math
- HTML Entity
- ⊀
- CSS
- \2280
The "Does Not Precede" symbol (⊀) is a mathematical operator used in order theory to indicate that one element does not come before another in a specific sequence or relation. Visually formed by striking a slash through the standard "precedes" symbol (≺), it helps define partial orders and strict inequalities in formal logic. While essential for advanced mathematics, algorithms, and academic papers, you will rarely encounter this symbol in everyday digital communication.
How to Type
- Windows
- Alt+8832
- macOS
- Control+Command+Space, search "does not precede"
- Linux
- Ctrl+Shift+U, then 2280
- HTML
- ⊀ or ⊀
In Programming
In mathematical typesetting and computer science documentation, this symbol is typically formatted in LaTeX using the \nprec command. It appears in algorithmic proofs to explicitly state that a node, state, or value does not strictly precede another in a defined hierarchy.
Tags
crossed precedes symbol
formal logic
mathematics
negated precedes
negation
not before
not precedes
order theory
ordering
partial order negation
poset
relation
slash through precedes
strict inequality