U+22ED "⋭" Does Not Contain as Normal Subgroup or Equal Unicode Character

U+22ED "⋭" Does Not Contain as Normal Subgroup or Equal is a mathematical symbol used primarily in group theory and abstract algebra. It represents the negation of the relation "contains as a normal subgroup or is equal to," meaning that one algebraic structure is not a normal subgroup of another and is also not equal to it. This symbol is typically employed in mathematical notation to assert that a given subgroup fails to be normal within its parent group, distinguishing it from the positive relation denoted by its counterpart, U+22EC.