U+22B0 "⊰" Precedes Under Relation Unicode Character
Unicode Version 17.0
⊰
U+22B0 "⊰" Precedes Under Relation is a mathematical symbol used in formal logic and order theory to denote a specific type of precedence or ordering relationship. It typically indicates that one element precedes another under a given relation, often in contexts involving part-whole hierarchies, well-quasi-orderings, or algebraic structures where a more refined ordering is defined relative to a base relation. The symbol itself resembles a stylistic curly less-than sign, distinguishing it from the simpler "precedes" or "less than" operators, and it is encoded in the Mathematical Operators block for use in technical documents and academic texts.
General Properties
| Code Point | U+22B0 |
| Version Added | 1.1 |
| Name | Precedes Under Relation |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⊱" U+22B1 Succeeds Under Relation |
Encodings
| HTML Decimal Encoding | ⊰ |
| HTML Hex Encoding | ⊰ |
| UTF-8 Encoding | 0xE2 0x8A 0xB0 |
| UTF-16 Encoding | 0x22B0 |
| UTF-32 Encoding | 0x000022B0 |
| C/C++/Java Escape | \u22b0 |
Unicode Properties
| NFC Quick Check | Yes |
| NFD Quick Check | Yes |
| NFKC Quick Check | Yes |
| NFKD 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 |