Encodings for U+DEF00