Encodings for U+3757