Encodings for U+1DEF3