Encodings for U+1DEF5