Encodings for U+3DC1