U+22E2 "⋢" Not Square Image of or Equal To Unicode Character

Unicode Version 17.0

U+22E2 "⋢" Not Square Image of or Equal To is a mathematical symbol used in logic and set theory to denote a specific type of negation, primarily indicating that one element does not map squarely into another or that two squares are not in a relation of image and equality. Its appearance resembles a square with a diagonal slash through it, clearly signaling the denial of the "square image of" relationship, which is often applied in lattice theory or categorical contexts to assert that a mapping fails to preserve a square structure or that two mathematical objects are not equivalent under a square correspondence. This character helps maintain precision in formal proofs and symbolic notation where visual distinction of such negations is critical.

General Properties

Code Point U+22E2
Version Added 1.1
Name Not Square Image of or Equal To
Block Mathematical Operators
General Category Math Symbol
Canonical Combining Class Not Reordered
Bidirectional Class Other Neutral
Mirrored Yes
Mirrored Character "⋣" U+22E3 Not Square Original of or Equal To
Decomposition Type Canonical
Decomposition Mapping "⊑" U+2291 Square Image of or Equal To
"̸" U+0338 Combining Long Solidus Overlay

Encodings

HTML Decimal Encoding ⋢
HTML Hex Encoding ⋢
UTF-8 Encoding 0xE2 0x8B 0xA2
UTF-16 Encoding 0x22E2
UTF-32 Encoding 0x000022E2
C/C++/Java Escape \u22e2

Unicode Properties

NFC Quick Check Yes
NFKC 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