Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!elroy.jpl.nasa.gov!ames!haven!umd5!newton.cs.jhu.edu!stiller
From: stiller@cs.jhu.edu (Lewis Stiller)
Newsgroups: comp.text.tex
Subject: proof trees in LaTeX
Summary: How do you do type deductions in lambda calculus in LaTeX
Message-ID: <stiller.665774110@newton.cs.jhu.edu>
Date: 5 Feb 91 17:09:16 GMT
Lines: 20

I need to format type deduction trees in \lambda - calculus.

They look sort of like this:

 first     second                                third fourth
------------------                              ---------------
   oner   twoer                          hello     there
--------------------------       ---------------------------
      conc                                jfjfjfjfj
-----------------------------------------------------------------
                     done


Each string is usually replaced by some fairly long expression
consisting mainly of greek symbols, with a few sans-serif and
math symbols thrown in, and also English comments. 

Are there nice macros out there for handling this?

lewis