U+22EB "⋫" Does Not Contain as Normal Subgroup Unicode Character

U+22EB "⋫" Does Not Contain as Normal Subgroup is a mathematical symbol used primarily in group theory, a branch of abstract algebra, to denote that one group is not a normal subgroup of another group. It visually extends the negation bar across the "contained in" symbol to indicate the failure of the normal subgroup relation, meaning that the subgroup in question does not satisfy the property of being invariant under conjugation by elements of the larger group. This symbol is part of the Supplemental Mathematical Operators block and provides a clear, concise notation for expressing non-containment in the context of normal subgroups, distinct from the simpler "not a subgroup" symbol.