On Thu, Dec 06, 2001 at 05:03:53PM +0100, Romain Janvier wrote: > 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.
Use the prooftree or proof package. See also http://www.mail-archive.com/[email protected]/msg07111.html (the first example there should be \def\frac#1#2{\infer{#2}{#1}} ).
