Encodings for U+DEF01