Encodings for U+13E17