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 | |
| Alt Code | Alt + 8880 | |
| Decimal | 8880 |
How to type Precedes Under Relation Symbol (⊰)
On Windows
Hold Alt and type 8880 on the numeric keypad. In Word, type 22B0 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22B0. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22b0, then press Enter or Space.
Anywhere
Copy ⊰ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
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.