U+2280 "⊀" Does Not Precede Unicode Character
Unicode Version 17.0
⊀
U+2280 "⊀" Does Not Precede is a mathematical symbol used to indicate that one element does not precede another in terms of order, typically within set theory, relations, or partial orders. It represents the negation of the "precedes" relation, often denoted by the symbol "≺", and is commonly employed in logical statements or mathematical proofs where a strict ordering relationship is explicitly false. This character is part of the Mathematical Operators block and is primarily used in formal contexts to express negation or absence of a precedence relation between two entities.
General Properties
| Code Point | U+2280 |
| Version Added | 1.1 |
| Name | Does Not Precede |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⊁" U+2281 Does Not Succeed |
| Decomposition Type | Canonical |
| Decomposition Mapping | "≺" U+227A Precedes "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⊀ |
| HTML Hex Encoding | ⊀ |
| UTF-8 Encoding | 0xE2 0x8A 0x80 |
| UTF-16 Encoding | 0x2280 |
| UTF-32 Encoding | 0x00002280 |
| C/C++/Java Escape | \u2280 |
Unicode Properties
| NFC Quick Check | Yes |
| NFKC Quick Check | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| Script | Common |
| Script Extensions | Common |
| Indic Syllabic Category | Other |
| Pattern Syntax | Yes |
| Math | Yes |
| Vertical Orientation | Rotated |
| Grapheme Base | Yes |
| Grapheme Cluster Break | Other |
| Word Break | Other |
| Sentence Break | Other |