⊵
Math Operator 178
- Unicode
- U+22B5
- Category
- Math
- HTML Entity
- ⊵
- CSS
- \22B5
The ⊵ (Contains As Normal Subgroup Or Equal To) symbol is a mathematical operator primarily used in abstract algebra and group theory. It indicates that the group on the right side of the equation is a normal subgroup of the group on the left, or that both groups are exactly equal. While rarely seen outside of advanced mathematical proofs, it is an essential character for formatting precise algebraic formulas in digital documents.
How to Type
- Windows
- Type 22B5 then press Alt + X in Microsoft Word, or press Win + . to open the symbol panel and search.
- macOS
- Press Control + Command + Space to open the Character Viewer, then search for 'normal subgroup'.
- Linux
- Press Ctrl + Shift + U, type 22B5, then press Enter.
- HTML
- ⊵ or ⊵
In Programming
In LaTeX and mathematical markup environments, this symbol is typically generated using the \trianglerighteq or \unrhd commands. It is used in MathML and technical documentation to accurately render algebraic group relationships.
Tags
LaTeX
abstract algebra symbol
algebra
contains normal or equal
contains normal subgroup
group theory
group theory notation
inclusion
mathematics
normal supgroup
supgroup relation
trianglerighteq
unicode math
⊵ symbol