cadabra2 icon indicating copy to clipboard operation
cadabra2 copied to clipboard

New parser does not grok double backslash

Open kpeeters opened this issue 5 years ago • 0 comments

Reproduce with

ex:= \\bla;

The preprocessor turns this into \prod{\}{\bla} and the parser then goes bananas on the \}.

kpeeters avatar May 09 '19 17:05 kpeeters