🏠
Unicode Mathematical Operators
⊲
U+22B2
0x22B2
NORMAL SUBGROUP OF
normal subgroup of
page:277