Encodings for U+DE3F