Encodings for U+F07D2