Encodings for U+12817