Typesetting

I am busy writing a longish paper on some proof theoretic mumbo jumbo. As such, I probably won't post much until the blasted thing is finished (writing about logic is not a very efficacious way to have a break from writing about logic :). But, that is not the point of this post.

Typesetting a logic paper, especially a structural proof theory one, can be quite tedious. I am aware of the Latex for Logicians page and am using the bussproofs package for typesetting formal proofs and calculi and such. Later on, I will probably need to typeset some proof nets also. For this, I am thinking of using the XY-Pic package, which I have used in the past for drawing simple diagrams.

Does anyone with experience typesetting this sort of thing have any helpful suggestions? In particular, if you have hacked up some macros or parsers or such that make the job a little easier, I'd be most grateful if you would pass it on! Even some code snippets of good ways to typeset stuff like proof nets would be handy, so that I don't need to reinvent the wheel. Thanks!