Encodings for U+80C8