⊴
Math Operator 177
- Unicode
- U+22B4
- Category
- Math
- HTML Entity
- ⊴
- CSS
- \22B4
The "Normal Subgroup Of Or Equal To" symbol (⊴) is a mathematical operator primarily used in abstract algebra. It denotes that a specific group is a normal subgroup of, or identical to, another larger group. While rarely seen outside of academic papers and group theory textbooks, it is an essential piece of notation for mathematicians defining structural relationships.
How to Type
- Windows
- Type 22B4 then press Alt+X (in Word), or Win+. to open the character panel
- macOS
- Control+Command+Space then search "normal subgroup"
- Linux
- Ctrl+Shift+U then type 22b4 and press Enter
- HTML
- &unlhd; or ⊴
In Programming
In LaTeX and mathematical documentation, this symbol is commonly rendered using the commands \unlhd or \trianglelefteq to express abstract algebra formulas.
Tags
LaTeX
abstract algebra symbol
algebra
group theory
group theory notation
inclusion
mathematics
normal subgroup
normal subgroup or equal
subgroup or equal
subgroup relation
trianglelefteq
unicode math
⊴ symbol