Closed mhuebert closed 3 years ago
Original problem was that \; was not interpreting the ; as a char, because we had a too-restrictive definition for character.
\;
;
Original problem was that
\;
was not interpreting the;
as a char, because we had a too-restrictive definition for character.