Reproduce with ex:= \\bla; The preprocessor turns this into `\prod{\}{\bla}` and the parser then goes bananas on the `\}`.
Reproduce with
The preprocessor turns this into
\prod{\}{\bla}and the parser then goes bananas on the\}.