Unicode Mathematical Operators

⋪

U+22EA

0x22EA

NOT NORMAL SUBGROUP OF

not normal subgroup of

page:279