Encodings for U+3DFC