Unicode Mathematical Operators

⊵

U+22B5

0x22B5

CONTAINS AS NORMAL SUBGROUP OR EQUAL TO

contains as normal subgroup or equal to