U+227F "≿" Succeeds or Equivalent To Unicode Character

Unicode Version 17.0

U+227F "≿" Succeeds or Equivalent To is a mathematical relational symbol that combines the concepts of succeeding and equivalence, often used in formal logic, set theory, or order theory to denote that one element is either greater than or equal to another in a partial order, but with an implied notion of equivalence rather than strict inequality. It appears as a stylized tilde or wavy line over a greater-than sign, visually distinguishing it from similar operators like "≥" or "≽". This character is part of the Mathematical Operators block and is typically employed in contexts where a non-strict, but not necessarily linear, ordering is intended, such as in preference relations or algebraic structures with preorders.

General Properties

Code Point U+227F
Version Added 1.1
Name Succeeds or Equivalent To
Block Mathematical Operators
General Category Math Symbol
Canonical Combining Class Not Reordered
Bidirectional Class Other Neutral
Mirrored Yes
Mirrored Character "≾" U+227E Precedes or Equivalent To

Encodings

HTML Decimal Encoding ≿
HTML Hex Encoding ≿
UTF-8 Encoding 0xE2 0x89 0xBF
UTF-16 Encoding 0x227F
UTF-32 Encoding 0x0000227F
C/C++/Java Escape \u227f

Unicode Properties

NFC Quick Check Yes
NFD Quick Check Yes
NFKC Quick Check Yes
NFKD Quick Check Yes
Numeric Type None
Numeric Value NaN
Line Break Alphabetic
Script Common
Script Extensions Common
Indic Syllabic Category Other
Pattern Syntax Yes
Math Yes
Vertical Orientation Rotated
Grapheme Base Yes
Grapheme Cluster Break Other
Word Break Other
Sentence Break Other