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 |
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.