Encodings for U+DEFD0