Unicode Mathematical Operators

⊴

U+22B4

0x22B4

NORMAL SUBGROUP OF OR EQUAL TO

normal subgroup of or equal to