U+22B3 CONTAINS AS NORMAL SUBGROUP