U+22B1 "⊱" Succeeds Under Relation Unicode Character

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.