U+22DE "⋞" Equal to or Precedes Unicode Character
Unicode Version 17.0
⋞
U+22DE "⋞" Equal to or Precedes is a mathematical symbol used primarily in order theory and formal logic to indicate that one element is either equal to or comes before another in a given sequence, partial order, or scalar ordering. It combines the concepts of equality and precedence, often serving as a relational operator in notation for inequalities, preference relations, or structured rankings where a strict precedes relationship may not hold. While less common in basic arithmetic, this symbol appears in advanced mathematical texts, set theory, and computer science contexts involving comparative structures or precedence constraints.
General Properties
| Code Point | U+22DE |
| Version Added | 1.1 |
| Name | Equal to or Precedes |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Mirrored Character | "⋟" U+22DF Equal to or Succeeds |
Encodings
| HTML Decimal Encoding | ⋞ |
| HTML Hex Encoding | ⋞ |
| UTF-8 Encoding | 0xE2 0x8B 0x9E |
| UTF-16 Encoding | 0x22DE |
| UTF-32 Encoding | 0x000022DE |
| C/C++/Java Escape | \u22de |
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 |