Open siefkenj opened 1 year ago
Parsing
$x y$
produces x followed by two whitespaces followed by y. All whitespace should be collapsed (otherwise it can produce a blank line when pretty-printing).
x
y
Parsing
produces
x
followed by two whitespaces followed byy
. All whitespace should be collapsed (otherwise it can produce a blank line when pretty-printing).