This page contains links to various resources for writing
semantics in LaTeX. Here are some key resources:
The Not So Short Introduction to Latex2e (Or Latex 2e in 139 minutes).
- mmm.sty, a collection of my favorite
macros. This will be a good start if you haven't been doing this
- Didier Remy's package mathpartir for
typesetting type inference rules. I've created a local copy of this package.
- sample.tex illustrates the use of some the
mmm.sty and mathpartir macros, and also illustrates what I think of as
"good" coding style. You'll need sample.sty
to do this. (PS output)
- There are lots of ways to put latex in your workflow.
Being an old Unix guy, I edit my files in emacs (using a very
old version of
Auctex). For simple jobs, I can just run latex from the menu bar.
For bigger jobs, I start up another window running a script that calls make in a loop. Here's
the Makefile. Then every time you save your
file, latex will run, and you can see the results by running
ghostview latest.ps in yet a third window (got that?).
(Going to pdf is annoying because, at least under Windows, you have to
close your pdf viewer when you regenerate the pdf file.)
There are several other systems for managing your Latex
editing workflow, such as winedt. Here's a survey
I found. I'd be very curious to see what you guys do about this.
(But beware, you will have to pry my .emacs file from my cold,
- Results of a survey I did on the types
mailing list, asking what packages people recommended.
- John Reynolds' package catmac package of
macros for coding category theory. This is far more elaborate than my
macros. Lots of neat symbols, in various
sizes, here. I don't know whether there are compatibility problems
with other packages. John also has neat macros for drawing hairy
diagrams. These are also in the directory, with sample output.
- Benjamin Pierce's bcprules.sty for
typesetting inference rules.
- Paul Taylor's macros
for proofs and commuting
College of Computer Science, Northeastern University
360 Huntington Avenue #161CN,
Boston, MA 02115
Phone: (617) 373-2072 / Fax: (617) 373-5121
Last modified: Tue Sep 2 11:48:46 EDT 2008