U+22EC "⋬" Not Normal Subgroup of or Equal To Unicode Character

U+22EC "⋬" Not Normal Subgroup of or Equal To is a mathematical symbol used primarily in group theory to indicate that a particular subgroup is not a normal subgroup of the containing group, or that it is not equal to the containing group. In formal notation, if H is a subgroup of G, then H ⋬ G means that H fails to satisfy the condition of being normal in G, meaning that for some element g in G, the conjugate gHg⁻¹ is not a subset of H. This symbol provides a clear and concise way to express the negation of the normal subgroup relation, often appearing in proofs, algebraic structures, and textbooks dealing with abstract algebra.