Mobileverso
⊵ — CONTAINS AS NORMAL SUBGROUP OR EQUAL TO (U+22B5)