3 ms·
It works splendidly with any algebra I throw at it, but it's not very much intended to handle expressions in logical calculus, is it? Case in point: http://i.i
by adimitrov 15y ago
It works splendidly with any algebra I throw at it, but it's not very much intended to handle expressions in logical calculus, is it?
Case in point: http://i.imgur.com/tnuxs.png http://i.imgur.com/tnuxs.png
- JoshTriplett 15y agoFor a bug report like this, you might want to explain exactly what LaTeX you expect that to turn into.
- adimitrov 15y ago$p,q \vdash p$ — sorry, I was pretty sure it was obvious to anyone, but I guess my handwriting wasn't that good.