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.