Encodings for U+DEF8D