Encodings for U+FDEF3