Encodings for U+2211E