What ⋫ means
The right-hand group is not a normal subgroup of the left.
In G ⋫ N, the symbol rejects that relation. A subgroup is a group formed from elements of a larger group; normality adds a symmetry condition. This is a relation between groups, not ordinary element membership.
How do ⋫, , and differ?
Direction, negation, and equality all matter.
⊳ asserts that the left group contains the right as a normal subgroup; ⊵ also allows equality. ⋭ rules out both normal-subgroup containment and equality. Swap the operands and ⋫ becomes the equivalent reciprocal relation ⋪: G ⋫ N means the same as N ⋪ G.
What is the history behind this relation?
The concept has older roots than its modern name.
Group-theory accounts trace the normal-subgroup idea to Galois in 1830. Heinrich Weber’s Lehrbuch der Algebra, an algebra textbook from 1895–1896, is associated with the modern term “normal subgroup.” These dates mark the idea and the term, not the first use of ⋫ itself.
Formal group-theory notation: it belongs between group expressions, not in ordinary prose.
Don't confuse it with
2
Related characters
3
A ⊳ B says the group on the left contains the right as a normal subgroup.
A ⋫ B into B ⋪ A.Questions people ask
1Why does ⋫ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
More like this
9
How to type or find ⋫
- Also called
- nrtri · ntriangleright
- Search it as
- normal subgroup · normal subgroup symbol · group theory notation · subgroup relation
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⋫\22EB⋫ or ⋫ (including the semicolon) to produce ⋫.Codes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.