Encodings for U+DEFD5