Encodings for Unicode Character 'DOUBLE INTERSECTION' (U+22D2)