Encodings for U+3237C