Encodings for U+DEFD3