Encodings for U+DEF28