Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 1 Dec 1994 16:21:22 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA08733; Thu, 1 Dec 1994 09:07:01 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from iraun1.ira.uka.de by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA08721; Thu, 1 Dec 1994 09:06:52 -0700 Received: from i80fs2.ira.uka.de by iraun1.ira.uka.de with SMTP (PP); Thu, 1 Dec 1994 16:40:01 +0100 Received: from ira.uka.de by i80fs2.ira.uka.de id <01710-0@i80fs2.ira.uka.de>; Thu, 1 Dec 1994 16:39:53 +0100 To: info-hol@leopard.cs.byu.edu Subject: Re: typesetting tableaux with latex ? Cc: rahard@ee.UManitoba.CA Date: Thu, 1 Dec 1994 16:39:51 +0100 From: schneide Message-Id: <"i80fs2.ira.713:01.12.94.15.39.57"@ira.uka.de> Budi Rahardjo asked: |> I am sure many of you use LaTeX. |> What kind of macros do you use to typeset tableaux ? There is a macro package called TreeTeX where you only have to write down the contents of the nodes in a certain traverse order. The placement of the nodes is then done by the macro. However, these macros are limited to about 20-40 nodes. Klaus.