Equal To Or Precedes Symbol
⋞ means “equal to or precedes,” a comparison symbol used in ordered relationships.
U+22DE
⋞ is a mathematical comparison symbol. It’s commonly used when an ordering allows equality as well as “before/preceding.” You can copy it directly or insert it using its Unicode code point.
Equal To Or Precedes Symbol Meaning
⋞ is the Unicode symbol named “EQUAL TO OR PRECEDES” (U+22DE). It’s used to express an order-based relationship where one item is allowed to be equal to another or to come before it. In practice, it often appears in math, logic, and technical writing that involves ordered sets, sequences, or comparisons with a notion of precedence. For example, you might see it in expressions that constrain a variable to be less than or equal to a given value, or that indicate compatibility with an ordering that includes equality. It’s primarily a notation symbol rather than a typographic ornament.
Common uses
- •Writing ordered comparisons where equality is allowed (e.g., constraints in math notes)
- •Expressing “comes before or is the same as” in formal logic or reasoning statements
- •Documenting rules in specs that include boundary conditions (before/at a threshold)
- •Labeling diagrams or tables that define an inclusive precedence relationship
- •Teaching or explaining ordering concepts in textbooks and educational materials
Examples
⋞ Equal to or Precedes
- ⋞a ⋞ b
- ⋞x ⋞ 5 means x is at most 5
- ⋞date ⋞ deadline
- ⋞i ⋞ j for i being earlier than or equal to j
- ⋞n ⋞ m in the ordered list
Variations
Ready to copy
Technical codes
| Unicode | U+22DE | |
| HTML Entity | ⋞ | |
| HTML Code | ⋞ | |
| CSS | \22DE |
FAQ
What does ⋞ mean?
⋞ means “equal to or precedes,” indicating an ordering relationship that includes equality and “before/preceding.”
What is the Unicode for ⋞?
⋞ is Unicode character U+22DE.
How can I copy ⋞ into HTML?
You can use the HTML entity: ⋞ (as provided by the symbol data: ⋞).
Can I use ⋞ in CSS or JavaScript?
Yes. Use CSS escape \\22DE or JavaScript escape \\u{22DE} to render the character.