Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!wuarchive!uunet!mcsun!ukc!warwick!nott-cs!christopher-robin.cs.bham.ac.uk!ard
From: ard@cs.bham.ac.uk (Antoni Diller <DillerAR>)
Newsgroups: comp.text.tex
Subject: Formula trees
Message-ID: <1371@christopher-robin.cs.bham.ac.uk>
Date: 10 Dec 90 10:51:07 GMT
Organization: Birmingham University, England
Lines: 14

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.