Encodings for U+100817