Unicode Mathematical Operators

U+22ED

0x22ED

DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL

does not contain as normal subgroup or equal

page:279