Encodings for U+DFC3