Encodings for U+1DEFD