Encodings for U+80C9