Unicode Mathematical Operators

⋬

U+22EC

0x22EC

NOT NORMAL SUBGROUP OF OR EQUAL TO

not normal subgroup of or equal to