UTF-8 for expressions
Currently the "text" format is using UTF-8 for value sets (e.g., 𝔹
, etc.) but ASCII for expressions (e.g., <1>a{c}
). We should have both flavors for each.
So we also need to enhance check-rat
to check both syntaxes.
The expression parser must accept both ASCII and UTF-8 input.