U+22EC "⋬" Not Normal Subgroup of or Equal To Unicode Character
Unicode Version 17.0
⋬
U+22EC "⋬" Not Normal Subgroup of or Equal To is a mathematical symbol used primarily in group theory to indicate that a particular subgroup is not a normal subgroup of the containing group, or that it is not equal to the containing group. In formal notation, if H is a subgroup of G, then H ⋬ G means that H fails to satisfy the condition of being normal in G, meaning that for some element g in G, the conjugate gHg⁻¹ is not a subset of H. This symbol provides a clear and concise way to express the negation of the normal subgroup relation, often appearing in proofs, algebraic structures, and textbooks dealing with abstract algebra.
General Properties
| Code Point | U+22EC |
| Version Added | 1.1 |
| Name | Not Normal Subgroup 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+22ED Does Not Contain as Normal Subgroup or Equal |
| Decomposition Type | Canonical |
| Decomposition Mapping | "⊴" U+22B4 Normal Subgroup of or Equal To "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ⋬ |
| HTML Hex Encoding | ⋬ |
| UTF-8 Encoding | 0xE2 0x8B 0xAC |
| UTF-16 Encoding | 0x22EC |
| UTF-32 Encoding | 0x000022EC |
| C/C++/Java Escape | \u22ec |
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 |