# ⋐ U+22D0 DOUBLE SUBSET