cadabra2
cadabra2 copied to clipboard
New parser does not grok double backslash
Reproduce with
ex:= \\bla;
The preprocessor turns this into \prod{\}{\bla}
and the parser then goes bananas on the \}
.