Encodings for U+DEF9D