Encodings for U+DBDE9