Encodings for U+23801