Encodings for U+DEFD4