Encodings for U+1DEF1