U+22B1 "⊱" Succeeds Under Relation Unicode Character
Unicode Version 17.0
U+22B1 "⊱" Succeeds Under Relation is a mathematical symbol used in formal logic and set theory to indicate that one element succeeds another within a specific relational context, often representing a partial order or a transitive relation where the left operand is considered greater than or directly after the right operand under a defined rule. Visually, it resembles an elongated, squared-off rightward arrow or an expanded "greater than" sign, distinct from the similar "⊰" (Precedes Under Relation) which points in the opposite direction. This symbol is part of the Unicode Mathematical Operators block and is primarily employed in specialized academic texts, such as those on order theory or relational algebra, to denote structured succession rather than numerical comparison.
General Properties
Encodings
| HTML Decimal Encoding |
⊱ |
| HTML Hex Encoding |
⊱ |
| UTF-8 Encoding |
0xE2 0x8A 0xB1 |
| UTF-16 Encoding |
0x22B1 |
| UTF-32 Encoding |
0x000022B1 |
| C/C++/Java Escape |
\u22b1 |
Unicode Properties