Encodings for U+1DEFC