Precedes Or Equivalent To Symbol
≾ means “precedes or is equivalent to,” commonly used in math and logic notation.
U+227E
The symbol ≾ (U+227E) is a math sign used to express an ordering relationship with equivalence. It’s useful when you want to indicate “comes before” or “is considered equivalent.” You can copy it directly or insert it via HTML, CSS, or JavaScript escapes.
Precedes Or Equivalent To Symbol Meaning
≾ is the “precedes or equivalent to” relation. In notation, it’s used when one item is allowed to be earlier than another, while also treating the two as equivalent in cases where they shouldn’t be distinguished. Compared to a strict “precedes” symbol, ≾ communicates that equality (equivalence) is included as part of the relationship. You’ll most often see it in textbooks, equations, and formal descriptions of ordering relations, where precise symbols matter for readability and correctness.
Common uses
- •Writing formal math expressions that allow equality in an order relation
- •Describing logic or set relations where an element may “precede” while being equivalent
- •Annotating proofs or lecture notes using consistent symbolic comparisons
- •Labeling diagrams or comments in STEM documents and worksheets
- •Building technical content templates (math markdown, docs, and notes) that require exact Unicode symbols
Examples
≾ Precedes or Equivalent To Symbol
- ≾a ≾ b
- ≾x ≾ y implies x is not after y
- ≾If 1 ≾ n, then n is at least 1
- ≾A ≾ B when A appears earlier or is treated as equivalent
- ≾Let u ≾ v denote the allowed precedence-or-equivalence relation
Variations
Ready to copy
Technical codes
| Unicode | U+227E | |
| HTML Entity | ≾ | |
| HTML Code | ≾ | |
| CSS | \227E |
FAQ
What does ≾ mean?
≾ means “precedes or equivalent to,” indicating an ordering relation that includes equivalence.
What is the Unicode information for ≾?
The symbol ≾ is Unicode U+227E. It has HTML entity ≾ and CSS escape \\227E, and JavaScript escape \\u{227E}.
How can I copy ≾ for use in documents?
Copy the character directly from this page, or insert it using the provided HTML, CSS, or JavaScript escapes depending on your tool.
Is ≾ the same as a strict “precedes” sign?
No. ≾ includes the possibility of equivalence, whereas a strict “precedes” relation typically excludes equivalence.