Encodings for U+0DE0