U+22EB "⋫" Does Not Contain as Normal Subgroup Unicode Character

Unicode Version 17.0

U+22EB "⋫" Does Not Contain as Normal Subgroup is a mathematical symbol used primarily in group theory, a branch of abstract algebra, to denote that one group is not a normal subgroup of another group. It visually extends the negation bar across the "contained in" symbol to indicate the failure of the normal subgroup relation, meaning that the subgroup in question does not satisfy the property of being invariant under conjugation by elements of the larger group. This symbol is part of the Supplemental Mathematical Operators block and provides a clear, concise notation for expressing non-containment in the context of normal subgroups, distinct from the simpler "not a subgroup" symbol.

General Properties

Code Point U+22EB
Version Added 1.1
Name Does Not Contain as Normal Subgroup
Block Mathematical Operators
General Category Math Symbol
Canonical Combining Class Not Reordered
Bidirectional Class Other Neutral
Mirrored Yes
Mirrored Character "⋪" U+22EA Not Normal Subgroup Of
Decomposition Type Canonical
Decomposition Mapping "⊳" U+22B3 Contains as Normal Subgroup
"̸" U+0338 Combining Long Solidus Overlay

Encodings

HTML Decimal Encoding ⋫
HTML Hex Encoding ⋫
UTF-8 Encoding 0xE2 0x8B 0xAB
UTF-16 Encoding 0x22EB
UTF-32 Encoding 0x000022EB
C/C++/Java Escape \u22eb

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