Encodings for U+13807