Precedes Under Relation Symbol
⊰ is the “precedes under relation” symbol used to express ordering with a specified relation.
U+22B0
The symbol ⊰ (Unicode U+22B0) is read as “precedes under relation.” It’s commonly used in mathematical writing and notation to describe a form of ordered relationship controlled by another relation. This page helps you copy it reliably across apps and documents.
Precedes Under Relation Symbol Meaning
⊰, named “precedes under relation,” indicates that one object comes before another in a way that depends on an accompanying relation. In mathematical contexts, it’s often paired with related symbols and forms of order (such as “precedes,” “under,” or “relational” variants) to express a structured comparison. When you see it in a formula, it usually communicates an ordering constraint without reducing the meaning to a plain less-than sign. Because its semantics are relation-dependent, it’s best used where your surrounding notation already defines the relevant relation.
Common uses
- •Writing formal math proofs that use relation-dependent ordering
- •Annotating logic or order relations in technical notes and textbooks
- •Labeling steps in algorithm descriptions where precedence depends on a rule
- •Typesetting comparisons in academic drafts using consistent symbol sets
- •Designing educational graphics or worksheets for discrete math topics
Examples
⊰ Precedes Under Relation Symbol
- ⊰a ⊰ b under R means a is ordered before b with respect to R.
- ⊰We write x ⊰ y when the relation constraints hold between x and y.
- ⊰Let ⊰ denote precedence under the given condition.
- ⊰If u ⊰ v, then u appears earlier according to relation R.
- ⊰The sequence uses ⊰ to indicate dependence on the specified relation.
Variations
Ready to copy
Technical codes
| Unicode | U+22B0 | |
| HTML Entity | ⊰ | |
| HTML Code | ⊰ | |
| CSS | \22B0 |
FAQ
What does the Precedes Under Relation symbol mean?
⊰, named “precedes under relation,” indicates that one object comes before another in a way that depends on an accompanying relation. In mathematical contexts, it’s often paired with related symbols and forms of order (such as “precedes,” “under,” or “relational” variants) to express a structured comparison. When you see it in a formula, it usually communicates an ordering constraint without reducing the meaning to a plain less-than sign. Because its semantics are relation-dependent, it’s best used where your surrounding notation already defines the relevant relation.