Unicode Mathematical Operators ⋭ U+22ED 0x22ED DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL does not contain as normal subgroup or equal page:279