U+22B4 "⊴" Normal Subgroup of or Equal To Unicode Character

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.