Return-Path: <John.Harrison-request@cl.cam.ac.uk>
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 13:45:51 +0000
Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA05791;
          Thu, 1 Dec 1994 06:21:06 -0700
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
Received: from canopus.cc.umanitoba.ca by leopard.cs.byu.edu 
          with SMTP (1.38.193.4/16.2) id AA05787;
          Thu, 1 Dec 1994 06:20:58 -0700
Received: from eeserv.ee.UManitoba.CA (eeserv.ee.umanitoba.ca [130.179.8.1]) 
          by canopus.cc.umanitoba.ca (8.6.9/8.6.9) with SMTP id HAA19113 
          for <info-hol@leopard.cs.byu.edu>; Thu, 1 Dec 1994 07:17:15 -0600
Received: from brandy.ee.umanitoba.ca.umeeng 
          by eeserv.ee.UManitoba.CA (4.1/25a-eef) id AA23338;
          Thu, 1 Dec 94 07:17:14 CST
From: Budi Rahardjo <rahard@ee.UManitoba.CA>
Message-Id: <9412011317.AA23338@eeserv.ee.UManitoba.CA>
Subject: typesetting tableaux with latex ?
To: info-hol@leopard.cs.byu.edu
Date: Thu, 1 Dec 1994 07:17:14 -0600 (CST)
X-Mailer: ELM [version 2.4 PL22]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 261

I am sure many of you use LaTeX.
What kind of macros do you use to typeset tableaux ?

Thanks.
-- budi
-- 
Budi Rahardjo
<rahard@ee.umanitoba.ca>                 <Budi_Rahardjo@UManitoba.CA>
Electrical and Computer Engineering - University of Manitoba - Canada