kehyoe@umn-cs.CS.UMN.EDU (Ong Keh Yoe) (01/17/90)
A while ago someone posted a item saying that he needed TeX macros to
format tree proofs. He wanted to be able to do things like
*a = b a = b => ac = bc
-----------------------------
9 = 2+2+5 9a = 9b *a = b
----------------------------------------- --------
2a + 2a + 5a = 2b + 2b + 5b 5a = 5b
----------------------------------------------
2a + 2a + 5b = 2b + 2b + 5a
-----------------------------
.
.
.
------------------------
2(a-b)+2(a-b) = 5(a-b)
------------------------
2 + 2 = 5
Does anyone still have that article around? I've got some macros which I think
will do the job. (And if anyone else is interested, let me know.)
------------------------------------------------------------------------------
Erik Rantapaa presently: kehyoe@umn-cs.cs.umn.edu
Department of Mathematics
University of Minnesota