Mobileverso
⊴ — NORMAL SUBGROUP OF OR EQUAL TO (U+22B4)