Encodings for U+ED3DC