Contains As Normal Subgroup Or Equal To
Block: Mathematical Operators
- Symbol
- ⊵
- Unicode
U+22B5- Unicode name
- CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
- Block
- Mathematical Operators
- Category
- Symbol, Math
- Type
- Unicode symbol
Contains As Normal Subgroup Or Equal To (⊵) is the Unicode character U+22B5, formally named CONTAINS AS NORMAL SUBGROUP OR EQUAL TO. This inverse-direction relation explicitly includes OR EQUAL TO. Its formal name combines containment direction with equality in one encoded character. A separately encoded comparison target is ⊴ Normal Subgroup Of Or Equal To (U+22B4).
What the formal name says about Contains As Normal Subgroup Or Equal To
⊵ encodes CONTAINS AS NORMAL SUBGROUP OR EQUAL TO. Both inverse containment direction and equality belong to this character name.
The name combines inverse containment with OR EQUAL TO. Both pieces distinguish this code point from the three nearby normal-subgroup relation variants.
If your character differs from this one, try what is this character ⊵? to find the exact mark from pasted text, Unicode, or visual clues.
⊵ versus ⊴: which encoded operator is present?
⊵ (U+22B5) and ⊴ (U+22B4) are separate Unicode records whose formal names identify different members of the same mathematical family.
For U+22B5, compare the complete formal name before substituting another family member.
Code-Point and UTF-8 Forms for ⊵
U+22B5 = decimal 8885 = HTML ⊵ / ⊵. A Unicode escape-style form is u22B5. Its UTF-8 bytes are E2 8A B5.
Use these identifiers in markup, source code, exports, or character diagnostics when the glyph alone is not enough.