Encodings for U+DF3D