Encodings for U+3237F