Succeeds Or Equivalent To
Block: Mathematical Operators
- Symbol
- ≿
- Unicode
U+227F- Unicode name
- SUCCEEDS OR EQUIVALENT TO
- Block
- Mathematical Operators
- Category
- Symbol, Math
- Type
- Unicode symbol
Succeeds Or Equivalent To (≿) is the Unicode character U+227F, formally named SUCCEEDS OR EQUIVALENT TO. SUCCEEDS gives the inverse direction of the related PRECEDES form. UNDER RELATION is part of the formal name, so the code point should be chosen by relation name rather than visual similarity. A separately encoded comparison target is ≾ Precedes Or Equivalent To (U+227E).
Why ≿ is the succeeds-side counterpart
≿ is named for a succeeds relation. Its formal name gives the relation family needed to distinguish it from the corresponding precedes form.
This is the SUCCEEDS member of the UNDER RELATION pair. Replacing it with PRECEDES UNDER RELATION reverses the formal relation direction.
Not the symbol you were looking for? Use what is the ≿ symbol called? to identify another mark from pasted text, Unicode, or visual appearance.
Encoding ≿ in HTML and Source Text
U+227F = decimal 8831 = HTML ≿ / ≿. A Unicode escape-style form is u227F. Its UTF-8 bytes are E2 89 BF.
Use these identifiers in markup, source code, exports, or character diagnostics when the glyph alone is not enough.
≿ versus ≾: which encoded operator is present?
The SUCCEEDS UNDER RELATION character ≿ is U+227F. The comparison character ≾ is U+227E (PRECEDES OR EQUIVALENT TO). Choosing between them changes the direction named by the relation.
For U+227F, SUCCEEDS is the directional word that distinguishes this relation from its inverse.