U+22B2 NORMAL SUBGROUP OF