Encodings for U+3801