Unicode Mathematical Operators ⊵ U+22B5 0x22B5 CONTAINS AS NORMAL SUBGROUP OR EQUAL TO contains as normal subgroup or equal to page:277