U+22B5 "⊵" Contains as Normal Subgroup or Equal To Unicode Character

U+22B5 "⊵" Contains as Normal Subgroup or Equal To is a mathematical symbol used in group theory to denote the relation where one subgroup is a normal subgroup of another group or where the two groups are equal. In abstract algebra, this symbol specifically indicates that the left-hand side is either a normal subgroup of the right-hand side or identical to it, combining the concepts of normalcy and equality into a single relational operator. It is the closed or filled version of the related symbol "⊴" and is typically used in algebraic notation to simplify expressions when discussing subgroup structures.