Encodings for U+D1DE