Encodings for U+80BAD