Encodings for U+23C01