Encodings for U+DEF7D