Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!shelby!agate!usenet From: raymond@math.berkeley.edu (Raymond Chen) Newsgroups: comp.text.tex Subject: Re: proof trees in LaTeX Message-ID: <1991Feb6.001109.22037@agate.berkeley.edu> Date: 6 Feb 91 00:11:09 GMT References: Sender: usenet@agate.berkeley.edu (USENET Administrator) Reply-To: raymond@math.berkeley.edu (Raymond Chen) Organization: U.C. Berkeley Lines: 40 In-Reply-To: stiller@cs.jhu.edu (Lewis Stiller) In article , stiller@cs (Lewis Stiller) writes: >I need to format type deduction trees in \lambda - calculus. >Are there nice macros out there for handling this? There are several, actually. You get to pays your money and takes your choice. Unfortunately, most of them were just posted to comp.text.tex without having been uploaded to any archive site, so you'll have to email the author directly for a copy. (Which means that all these people have essentially reinvented the wheel.) The following entries are taken verbatim from the monthly `Supplementary TeX Information' article. The full text of the Supplement can be ftp'd from math.princeton.edu:pub/rjc/misc/tex.supplement.Z. chomsky.sty TeXhax issue #54 For drawing hierarchical tree diagrams. nodeedge.sty sun.soe.clarkson.edu by Hideki Isozaki (isozaki@csli.Stanford.EDU) pub/tex/latex-style/nodeedge.shar For drawing hierarchical tree diagrams. tree macros (posted to comp.text.tex) by hwb@texnix.stgt.sub.org TreeTeX ? by Univ. Waterloo For drawing hierarchical trees. proof.sty (posted to comp.text.tex) by tatsuta@sato.riec.tohoku.ac.jp For proofs in Mathematical Logic. the things that look like A B --- C -- raymond@math.berkeley.edu, maintainer of the Supplementary TeX Information file