Encodings for U+80000