Encodings for U+13830