> How can I write some expressions like this? > > A B > - - > A => B /\ (A\/B) > ---------- > A => B > ----- > A > > This one doesn't mean anything, but you see the kind... > I can't use a table, neither Fraction.
Have a look at http://www.math.ucla.edu/~asl/ And look at Buss' proof-style. This seems to do exactly what you want. LaTeX, so you might have to use ERT. Good luck, Bas Spitters