'not x' gives '\negx' instead of '\neg x'
I'm not sure if this is the best solution to debug this problem? At least it seems to work!
This bug was introduced in the function visit_UnaryOp(self, n) when removing the space between {0} and {1}... so that 10**-3 yields $$10^{-3}$$ and not $$10^{- 3}$$
'not x' gives '\negx' instead of '\neg x' I'm not sure if this is the best solution to debug this problem? At least it seems to work! This bug was introduced in the function visit_UnaryOp(self, n) when removing the space between {0} and {1}... so that 10**-3 yields $$10^{-3}$$ and not $$10^{- 3}$$