# ⊵ U+22B5 CONTAINS AS NORMAL SUBGROUP OR EQUAL TO