Contains As Normal Subgroup Symbol
⊳ denotes that one structure contains another as a normal subgroup.
U+22B3
The symbol ⊳ is a math operator used in group theory notation. It specifically expresses that a set or group contains another as a normal subgroup. This page helps you copy the symbol and use it correctly in text and documents.
Contains As Normal Subgroup Symbol Meaning
⊳ (Unicode U+22B3) is read as “contains as normal subgroup.” In mathematical writing—especially group theory—A ⊳ B indicates that A is a normal subgroup of B (equivalently, A is contained in B and is normal in B). Normality matters because it guarantees that left and right cosets coincide and that quotient constructions behave well. You’ll typically see ⊳ between two group symbols, for example, “N ⊳ G” to state that N is a normal subgroup of G. The symbol is intended for precise formal notation, so it’s best used in mathematical contexts rather than general-purpose arrow meaning.
Common uses
- •State that one group is a normal subgroup of another (e.g., N ⊳ G).
- •Write quotient-related assumptions where normality is required.
- •Annotate algebra proofs or definitions involving group structure.
- •Label relationships in group theory notes, slides, and worksheets.
- •Compose LaTeX-free math text or plain-text formula documentation.
Examples
⊳ Contains as normal subgroup
- ⊳Let N ⊳ G be a normal subgroup.
- ⊳If A ⊳ B, then B/A can be formed as a quotient group.
- ⊳We use N ⊳ G to justify the homomorphism factorization.
- ⊳Assume H ⊳ K when defining a series of normal subgroups.
- ⊳The statement X ⊳ Y holds by the subgroup being normal.
Variations
Ready to copy
Technical codes
| Unicode | U+22B3 | |
| HTML Entity | ⊳ | |
| HTML Code | ⊳ | |
| CSS | \22B3 |
FAQ
What does ⊳ mean?
It means “contains as normal subgroup,” i.e., the left object is a normal subgroup of the right object.
What is the Unicode code point for ⊳?
The Unicode code point is U+22B3.
How can I copy ⊳ into HTML?
Use the HTML entity: ⊳.
Where should I use ⊳?
Use it in math and group theory notation, typically between two group symbols to state a normal-subgroup relationship.