Xref: utzoo comp.text.tex:3193 comp.lang.apl:527
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!decwrl!shelby!neon!CS.Stanford.EDU!ews
From: ews@CS.Stanford.EDU (Ed Sznyter)
Newsgroups: comp.text.tex,comp.lang.apl
Subject: Re: TeX Puzzle II
Message-ID: <1990Oct3.204428.22709@Neon.Stanford.EDU>
Date: 3 Oct 90 20:44:28 GMT
References: <1990Oct3.024630.6222@midway.uchicago.edu>
Sender: news@Neon.Stanford.EDU (USENET News System)
Reply-To: ews@cs.Stanford.EDU
Distribution: na
Organization: Computer Science Department, Stanford University
Lines: 24
Fcc: tex/latex-help

|> I would like to use braces above and below the expression to
|> identify the groupings.  Something like this:
|> 
|>                p           q 
|>          |-----------||-----------|
|>       abcdefgaaaabbbbccccdefghabecde
|>       |-----||----------||---------|
|>          x        y          z
|> 
|> where the "|-------|" represent braces.  (This would indicate something
|> like "xyz = abcpqe".  Done in this way, the proof becomes much more
|> visual--which really helps for this sort of calculation.)

Too easy. Try

\halign{&#\cr
&\downbracefill\span\omit&\downbracefill\span\omit\cr
abc&defg&aaaabbbbc&ccc&defghabecde\cr
\upbracefill\span\omit&\upbracefill\span\omit&\upbracefill\cr}

----------------
	Ed Sznyter
	Distributed Systems Group
	ews@dsg.stanford.edu