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 | |
| Alt Code | Alt + 8832 | |
| Decimal | 8832 |
How to type Does Not Precede Symbol (⊀)
On Windows
Hold Alt and type 8832 on the numeric keypad. In Word, type 2280 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 2280. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 2280, then press Enter or Space.
Anywhere
Copy ⊀ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
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.