U+22B4 "⊴" Normal Subgroup of or Equal To Unicode Character
Unicode Version 17.0
⊴
U+22B4 "⊴" Normal Subgroup of or Equal To is a mathematical symbol used primarily in group theory to denote that a given subgroup is a normal subgroup of a larger group, or that it is equal to that group. Written between a subgroup symbol and a group symbol, such as H ⊴ G, it indicates that H is a normal subgroup of G, meaning that for every element g in G, the conjugate gHg⁻¹ is contained in H, and it also allows for the possibility that H equals G itself. This symbol simplifies notation by combining the relation of being a normal subgroup with equality, making it a standard tool in algebraic structures and abstract algebra.
General Properties
| Code Point | U+22B4 |
| Version Added | 1.1 |
| Name | 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+22B5 Contains as Normal Subgroup or Equal To |
Encodings
| HTML Decimal Encoding | ⊴ |
| HTML Hex Encoding | ⊴ |
| UTF-8 Encoding | 0xE2 0x8A 0xB4 |
| UTF-16 Encoding | 0x22B4 |
| UTF-32 Encoding | 0x000022B4 |
| C/C++/Java Escape | \u22b4 |
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 |