Encodings for U+1DEF4