U+22B0 "⊰" Precedes Under Relation Unicode Character

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.