Encodings for U+0DF9