Encodings for U+1DDEF