Encodings for U+0DE1