Encodings for U+0D80