LaTeX resources

• To: Types dist list <types@cis.upenn.edu>
• Subject: LaTeX resources
• From: Mitchell Wand <wand@ccs.neu.edu>
• Date: Fri, 22 Nov 2002 15:47:56 -0500

This is slightly off-topic, but this is probably the right group to
ask...

I'm about to initiate a group of 1st-year graduate students into the
mysteries of LaTeX, and in particular to the mysteries of writing
semantics equations, proof rules, etc., in LaTeX.  

I have my own body of LaTeX2e macros and the source code for my papers
that they can look at, but I'm looking for other resources they could
use.  In particular:

(1) What packages do you find helpful for writing semantics papers?
    Please comment on usability, documentation, etc.

(2) Do you know of any guides to good TeX coding style, particularly
    with respect to the difficulties of typesetting semantics?

If there is sufficient interest, I'll summarize to the list.

--Mitch 

• Prev: Professorship opening
• Next: FGC: Foundations of Global Computing
• Index(es):
  • Main
  • Thread