Normal Subgroup Of Or Equal To Symbol
⊴ denotes a normal subgroup relation (normal subgroup of, or equal to).
U+22B4
⊴ is a mathematical symbol used to express a subgroup relationship. It specifically indicates a normal subgroup, or equality. It’s common in group theory notation and proofs.
Normal Subgroup Of Or Equal To Symbol Meaning
⊴ is the symbol “NORMAL SUBGROUP OF OR EQUAL TO” (Unicode U+22B4). In group theory, it’s used to state that one subgroup is normal in another group, with the option that the two objects may be equal. Typical readings include “H is a normal subgroup of G” and “H is normal in G, or H equals G.” When writing or typesetting mathematics, ⊴ helps avoid ambiguity between general subgroup inclusion (often written with ⊂/⊆) and the stronger condition of normality.
Common uses
- •Express that a subgroup H is normal in a group G in group theory
- •Specify quotient-group context where normality is required
- •Write formal statements in math notes, papers, and lecture slides
- •Clarify steps in proofs that rely on normal subgroups
- •Label algebraic relations in diagrams and structured definitions
Examples
⊴ Normal Subgroup Of Or Equal To
- ⊴Let H ⊴ G.
- ⊴Assume N ⊴ G and form G/N.
- ⊴Since K ⊴ G, the quotient is well-defined.
- ⊴We have H ⊴ H, so equality is allowed.
- ⊴Prove that ⟨S⟩ ⊴ G for the given action.
Variations
Ready to copy
Technical codes
| Unicode | U+22B4 | |
| HTML Entity | ⊴ | |
| HTML Code | ⊴ | |
| CSS | \22B4 | |
| Alt Code | Alt + 8884 | |
| Decimal | 8884 |
How to type Normal Subgroup Of Or Equal To Symbol (⊴)
On Windows
Hold Alt and type 8884 on the numeric keypad. In Word, type 22B4 then press Alt + X.
On Mac
Switch to the Unicode Hex Input keyboard, then hold Option and type 22B4. Or press Control + Command + Space and search.
On Linux
Press Control + Shift + U, type 22b4, then press Enter or Space.
Anywhere
Copy ⊴ with the button above and paste it wherever you need it — this works on every device and in every app, with no keyboard shortcut to remember.
FAQ
What does ⊴ mean?
⊴ means “normal subgroup of or equal to” (Unicode U+22B4), indicating a normal subgroup relationship, allowing equality.
Is ⊴ the same as ⊂ or ⊆?
No. ⊂/⊆ express (sub)set inclusion. ⊴ specifically expresses normality in addition to the inclusion/equality idea.
How do I copy ⊴ in math documents?
Copy the character ⊴ directly, or paste the Unicode form U+22B4/⊴ in systems that accept HTML entities.
Where is ⊴ commonly used?
It’s mainly used in group theory to state normal subgroup relations, especially when working with quotient groups.