Encodings for U+40001