Contains As Normal Subgroup
Block: Mathematical Operators
- Symbol
- ⊳
- Unicode
U+22B3- Unicode name
- CONTAINS AS NORMAL SUBGROUP
- Block
- Mathematical Operators
- Category
- Symbol, Math
- Type
- Unicode symbol
Contains As Normal Subgroup (⊳) is the Unicode character U+22B3, formally named CONTAINS AS NORMAL SUBGROUP. This character names the inverse reading: the left-hand object CONTAINS AS NORMAL SUBGROUP the object on the other side. The plain form omits equality. A separately encoded comparison target is ⊲ Normal Subgroup Of (U+22B2).
What the formal name says about Contains As Normal Subgroup
⊳ expresses CONTAINS AS NORMAL SUBGROUP, the inverse reading of NORMAL SUBGROUP OF. The containing object is on the source side.
This inverse relation is named from the containing side and does not include equality. Its direction distinguishes it from NORMAL SUBGROUP OF.
Not the symbol you were looking for? Use what is this symbol (⊳)? to identify another mark from pasted text, Unicode, or visual appearance.
The formal-name difference between ⊳ and ⊲
⊳ (U+22B3) and ⊲ (U+22B2) are separate Unicode records whose formal names identify different members of the same mathematical family.
For U+22B3, compare the complete formal name before substituting another family member.
Encoding ⊳ in HTML and Source Text
U+22B3 = decimal 8883 = HTML ⊳ / ⊳. A Unicode escape-style form is u22B3. Its UTF-8 bytes are E2 8A B3.
Use these identifiers in markup, source code, exports, or character diagnostics when the glyph alone is not enough.