U+22B3 "⊳" Contains as Normal Subgroup Unicode Character

U+22B3 "⊳" Contains as Normal Subgroup is a mathematical symbol used in abstract algebra, specifically in group theory, to denote that one subgroup is a normal subgroup of a larger group. In formal notation, if H ⊳ G, it means that H is a subgroup of G and that H is invariant under conjugation by any element of G, a property essential for defining quotient groups and simplifying the structure of groups. This symbol helps mathematicians concisely express a fundamental relationship in which the subgroup is closed under conjugation, distinguishing it from a general subgroup without that property.

General Properties

Code Point	U+22B3
Version Added	1.1
Name	Contains as Normal Subgroup
Block	Mathematical Operators
General Category	Math Symbol
Canonical Combining Class	Not Reordered
Bidirectional Class	Other Neutral
Mirrored	Yes
Mirrored Character	"⊲" U+22B2 Normal Subgroup Of

Encodings

HTML Decimal Encoding	⊳
HTML Hex Encoding	⊳
UTF-8 Encoding	0xE2 0x8A 0xB3
UTF-16 Encoding	0x22B3
UTF-32 Encoding	0x000022B3
C/C++/Java Escape	\u22b3

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