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