Closed mathematicswizard closed 1 week ago
A student of mine has this potential bug. He enters an expression in propositional calculus like this:
But when he escapes it to look at the latex "in the back" he gets this:
\neg(p\rightarrow\negq)\rightarrow(r\rightarrow\negs)
Where there is no space between \neg and q and \neg and s. If I would have entered this latex directly this is what I would have get:
The issue is not clear to my on how and why this is happening.
A student of mine has this potential bug. He enters an expression in propositional calculus like this:
But when he escapes it to look at the latex "in the back" he gets this:
\neg(p\rightarrow\negq)\rightarrow(r\rightarrow\negs)
Where there is no space between \neg and q and \neg and s. If I would have entered this latex directly this is what I would have get:
The issue is not clear to my on how and why this is happening.