Does Not Precede Or Equal Symbol
⋠ means “does not precede or equal,” commonly used in mathematical relations.
U+22E0
The symbol ⋠ (U+22E0) is a mathematical relation operator. It is used to express that one term does not stand in a “precedes or equals” relationship with another. You can copy it directly or use standard escape forms in code.
Does Not Precede Or Equal Symbol Meaning
⋠ is the “does not precede or equal” symbol (Unicode U+22E0). In mathematical notation, it indicates a negated version of a precedence/order relation: it states that the left-hand term does not precede or equal the right-hand term. Like many relation symbols, it is typically used with variables, numbers, or ordered elements in logic, set theory, and formal specifications. When you want to be explicit that a relationship is not satisfied (rather than using a different comparison), ⋠ provides a clear, standardized operator.
Common uses
- •Writing formal inequalities or order constraints in math notes and textbooks
- •Specifying logic conditions in formal methods and documentation
- •Indicating a negated “precedes or equals” relation in proofs or comparisons
- •Annotating ordered sets or timelines where one element must not come early
- •Labeling conditions in technical diagrams, specifications, and reports
Examples
⋠ Does not precede or equal
- ⋠a ⋠ b (a does not precede or equal b)
- ⋠x ⋠ y (x is not in the “precedes or equals” relation with y)
- ⋠n ⋠ m in the ordering condition
- ⋠t ⋠ t0 for the event to be considered invalid
- ⋠S ⋠ T when neither order is allowed
Variations
Ready to copy
Technical codes
| Unicode | U+22E0 | |
| HTML Entity | ⋠ | |
| HTML Code | ⋠ | |
| CSS | \22E0 |
FAQ
What does the symbol ⋠ mean?
⋠ means “does not precede or equal,” a negated order/precedence relation used in mathematical notation.
What is the Unicode code point for ⋠?
The Unicode code point is U+22E0.
How can I copy ⋠ into my document?
Copy the character directly from this page, or paste it from a compatible source that supports Unicode math symbols.
Can I use ⋠ in code?
Yes. You can use the provided escapes like \\u{22E0} (JavaScript) or \\22E0 (CSS escape), depending on your environment.