Closed rocky closed 1 day ago
For Unicode operators, remove class assign and get value from JSON.
Operators that are ASCII-only probably needs some coordination with JSON output on the mathicsscanner side.
For Unicode operators, remove class assign and get value from JSON.
Operators that are ASCII-only probably needs some coordination with JSON output on the mathicsscanner side.