Encodings for U+15871