Encodings for U+2DEFD