[comp.text.tex] Formula trees

ard@cs.bham.ac.uk (Antoni Diller <DillerAR>) (12/10/90)

Some time ago somebody wanted to know how to---either in TeX or
LaTeX--- format trees of formulas, like, eg:


wff1   wff2
-----------
   wff3                wff4      wff5
---------           -----------------
   wff6                    wff7
-------------------------------
            wff8

I must've missed the answer.  Could someone send me the relevant info.
Thanks.

tatsuta@sato.riec.tohoku.ac.jp (Makoto Tatsuta) (12/20/90)

I posted proof figure macros in this news group just now.
Please use them.

	Makoto Tatsuta