Encodings for U+DEF1D