U+22B2 "⊲" Normal Subgroup Of Unicode Character

U+22B2 "⊲" Normal Subgroup Of is a mathematical symbol used in group theory to denote that one group is a normal subgroup of another group, meaning the subgroup is invariant under conjugation by any element of the larger group. In formal notation, if H ⊲ G, then for every element h in H and every element g in G, the conjugate g h g⁻¹ is also in H. This concept is fundamental in abstract algebra, as it allows for the construction of quotient groups and is essential for understanding group homomorphisms and isomorphism theorems. The symbol visually resembles a left-pointing triangle or a "less than" sign with a vertical bar, distinguishing it from the similar symbol for a general subgroup, which lacks the vertical bar.