Encodings for U+4001