Unicode Mathematical Operators

⊳

U+22B3

0x22B3

CONTAINS AS NORMAL SUBGROUP

contains as normal subgroup