Encodings for U+DEFD7