Precedes But Not Equivalent To Symbol
⋨ indicates that one relation precedes another without being equivalent.
U+22E8
The symbol ⋨ is a mathematical sign read as “precedes but not equivalent to.” It’s used when an ordering relation holds, but equality is explicitly not intended. Use it anywhere you need that precise distinction.
Precedes But Not Equivalent To Symbol Meaning
⋨ (Unicode U+22E8) is the “precedes but not equivalent to” symbol. In math and logic-style notation, it expresses a precedence relationship while stating that the two entities are not equivalent (not the same in the relevant sense). It’s closely related to symbols that show precedence and inequality, but the key idea is the combination of direction (precedes) with a negated equivalence condition. Because the wording is specific, it helps avoid ambiguity when describing sequences, ordering constraints, or structured relationships where “before” does not mean “equal.”
Common uses
- •Expressing a directed ordering in formal notes: item A precedes item B, but they are not equivalent.
- •Specifying constraints in set or sequence descriptions where equivalence must be excluded.
- •Writing algorithm documentation that distinguishes “comes earlier” from “is identical.”
- •Annotating mathematical comparisons in study materials and slide decks.
- •Clarifying non-equivalence in logic-like writing for exams, proofs, or spec sheets.
Examples
⋨ Precedes but not equivalent to
- ⋨A ⋨ B
- ⋨T ⋨ T' (T comes before T' but is not equivalent)
- ⋨x ⋨ y implies x precedes y without equivalence
- ⋨If n ⋨ m, then n is earlier but not the same value under the defined equivalence
- ⋨Condition: p ⋨ q
Variations
Ready to copy
Technical codes
| Unicode | U+22E8 | |
| HTML Entity | ⋨ | |
| HTML Code | ⋨ | |
| CSS | \22E8 | |
| Alt Code | Alt + 8936 | |
| Decimal | 8936 |
How to type Precedes But Not Equivalent To Symbol (⋨)
On Windows
Hold Alt and type 8936 on the numeric keypad. In Word, type 22E8 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22E8. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22e8, 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 symbol ⋨ mean?
⋨ means “precedes but not equivalent to,” indicating a precedence relationship while explicitly excluding equivalence.
What is the Unicode code point for ⋨?
The Unicode code point is U+22E8.
How can I copy ⋨ from this page?
Copy the character shown (⋨) directly, or use the HTML entity (⋨) or CSS escape (\\22E8) when needed.
Is ⋨ the same as the regular “less than” sign (<)?
No. “<” indicates less-than, while ⋨ specifically states precedence along with non-equivalence.