Normal Subgroup Of Or Equal To
Block: Mathematical Operators
- Symbol
- ⊴
- Unicode
U+22B4- Unicode name
- NORMAL SUBGROUP OF OR EQUAL TO
- Block
- Mathematical Operators
- Category
- Symbol, Math
- Type
- Unicode symbol
Normal Subgroup Of Or Equal To (⊴) is the Unicode character U+22B4, formally named NORMAL SUBGROUP OF OR EQUAL TO. This variant extends NORMAL SUBGROUP OF with OR EQUAL TO. Equality is therefore built into the encoded relation represented by this code point. A separately encoded comparison target is ⊵ Contains As Normal Subgroup Or Equal To (U+22B5).
What the formal name says about Normal Subgroup Of Or Equal To
⊴ encodes NORMAL SUBGROUP OF OR EQUAL TO. The equality alternative is part of this character’s formal relation name.
OR EQUAL TO is inseparable from this formal character name. Using the plain NORMAL SUBGROUP OF code point would remove the equality alternative from the encoded relation.
Not the symbol you were looking for? Use what is the name of ⊴? to identify another mark from pasted text, Unicode, or visual appearance.
Encoding ⊴ in HTML and Source Text
U+22B4 = decimal 8884 = HTML ⊴ / ⊴. A Unicode escape-style form is u22B4. Its UTF-8 bytes are E2 8A B4.
Use these identifiers in markup, source code, exports, or character diagnostics when the glyph alone is not enough.
⊴ versus ⊵: which encoded operator is present?
⊴ (U+22B4) and ⊵ (U+22B5) are separate Unicode records whose formal names identify different members of the same mathematical family.
For U+22B4, compare the complete formal name before substituting another family member.