U+22E8 "⋨" Precedes but Not Equivalent To Unicode Character

U+22E8 "⋨" Precedes but Not Equivalent To is a mathematical symbol used in formal logic, set theory, and order relations to indicate that one element strictly comes before another in a defined ordering, without being considered equal or logically equivalent to it. This distinction is crucial in contexts like partial orders or equivalence classes, where a relationship must specify asymmetry and non reflexivity beyond simple inequality. The symbol itself combines the visual notion of a predecessor relation with a negation stroke through the equivalence sign, emphasizing that the two items are not interchangeable or identical in value.

General Properties

Code Point	U+22E8
Version Added	1.1
Name	Precedes but Not Equivalent To
Block	Mathematical Operators
General Category	Math Symbol
Canonical Combining Class	Not Reordered
Bidirectional Class	Other Neutral
Mirrored	Yes
Mirrored Character	"⋩" U+22E9 Succeeds but Not Equivalent To

Encodings

HTML Decimal Encoding	⋨
HTML Hex Encoding	⋨
UTF-8 Encoding	0xE2 0x8B 0xA8
UTF-16 Encoding	0x22E8
UTF-32 Encoding	0x000022E8
C/C++/Java Escape	\u22e8

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