Encodings for U+DF7C