Does Not Precede Symbol
⊀ is the “does not precede” math symbol used to express that one value does not come before another.
U+2280
⊀ is a mathematical operator symbol named “does not precede.” It’s commonly used in logic and ordering statements. Use it when you need to explicitly say that one thing does not come before another.
Does Not Precede Symbol Meaning
⊀ is a symbol from mathematical notation with the Unicode name “DOES NOT PRECEDE” (U+2280). In order- and sequence-related statements, it indicates that the first item does not precede the second item. Compared with its related “precedes” forms, ⊀ is used specifically to negate the ordering relation. You’ll often see it in formal texts, logic-style explanations, and sets/sequence descriptions where the writer must be unambiguous about ordering constraints. For consistent rendering across platforms, use the provided HTML entity (⊀) or the CSS/JavaScript escapes.
Common uses
- •Writing logic or ordering rules where one element is explicitly not earlier than another
- •Annotating timelines or sequences in technical documents (e.g., “A does not precede B”)
- •Expressing constraints in math notes, worksheets, or cheat sheets for comparisons
- •Adding negated ordering conditions in proofs or formal reasoning drafts
- •Designing diagrams or UI labels for “not before” relationships
Examples
⊀ Does Not Precede Symbol
- ⊀A ⊀ B (meaning A does not precede B).
- ⊀We require that x ⊀ y in this constraint.
- ⊀For all i, we have i ⊀ i+1 under this definition.
- ⊀The sequence relation uses ⊀ to denote “not earlier.”
- ⊀Let A ⊀ B hold; then the ordering is forbidden.
Variations
Ready to copy
Technical codes
| Unicode | U+2280 | |
| HTML Entity | ⊀ | |
| HTML Code | ⊀ | |
| CSS | \2280 |
FAQ
What does ⊀ mean?
⊀ means “does not precede,” indicating that one item does not come before another in an ordering relation.
How do I copy ⊀ into HTML?
Use the HTML entity: ⊀ (as given for this symbol).
What CSS escape can I use for ⊀?
You can use the CSS escape: \\2280.
What is the Unicode code point for ⊀?
The Unicode code point is U+2280.