Closed cache-nez closed 2 years ago
@SimonGuilloud @vkuncak this PR only changes the behavior in the kernel, not in the front. On the front, we can also just change the symbol, or rework the parser. I would estimate this as low priority since the front does not currently work.
This allows to not print a space between a quantifier and the bound variable.