Encodings for U+1010DE