Encodings for U+15883