Encodings for U+237F5