Encodings for U+23251