Encodings for Unicode Character 'SUBSET OF ABOVE TILDE OPERATOR' (U+2AC7)