What ⋪ means
A normal subgroup stays the same under conjugation. A group is a mathematical set with an operation, such as composing symmetries, that follows specific rules. A subgroup is a group within it, using the same operation.
Conjugation replaces each element h of a subgroup H with g h g¹, where g is any element of the containing group G and g¹ is its inverse. H is normal when this always gives back the same subgroup as a whole; individual elements may move. If H is a subgroup but this condition fails, H ⋪ G.
Normality is what allows the cosets of H—the sets obtained by multiplying H by elements of G—to form the quotient group G/H with the operation inherited from G.
Part of collections
Worth knowing
- By 1832, Évariste Galois had identified special subgroups that would later be called normal subgroups. This dates the mathematical idea, not the crossed-triangle symbol.
Questions people ask
1Does ⋪ mean “not a subgroup”?
No. It denies the normal-subgroup relation. H may still be a subgroup of G that is not normal. The symbol alone does not establish whether H is a subgroup; that comes from the surrounding statement.
How to type or find ⋪
- Search it as
- not normal subgroup · not normal subgroup symbol · ntriangleleft · nltri
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⋪\22EACodes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.






