Proof and Counterexample is being typeset in LaTeX. When I've finished making my decisions about formatting for the draft, I'll point to all of the classes and packages I'm using. (There are a few.)
Software
If you use a Mac, like I do, the resources you want are:
- The Mac OS X TeX/LaTeX Site which lists lots of resources for you to use. I use
- TeXShop, a wonderful front-end for editing, previewing and printing TeX documents, which in turn uses
- gwTeX, which is Gerben Wierda's nicely packaged collection of TeX tools.
Packages
Once you have your installation working, you can use lots of packages to format your documents appropriately. Here are some resources I find handy:
- Peter Smith's LaTeX for Logicians is a handy resource for logicians. It has pointers to all of the different packages to typesetting different kinds of proofs.
- The memoir class is very good if you want to muck about with page layouts. I'm using it. (There's further discussion of page layouts here: PnC Page Layout.)
- I use prooftree.sty for proofs. (For examples of how to use them, see PnC Example prooftrees.)
- I use pgf for circuits, Hasse diagrams and other node-and-arrow pictures. I have also used MetaPost, which is lovely, but pgf has two advantages over MetaPost for my purposes. First, it is all achieved inside LaTeX, so there's no wrangling with another program to get the pictures out right. Second, it cooperates well with the ‘progressive revelation’ effects of beamer. See the example Beamer and pgf effects on that page. These things are trivial to do using pgf+beamer, once you know how to typeset the diagrams and tree proofs. (They're lots harder using MetaPost+beamer.)
- Beamer is my favoured package for presentations these days. (If anyone wants a less powerful but simpler and quicker-to-compile presentation package, I've developed one. I'll post it on a web site one day; in the meantime email me if you'd like a copy. Jason Grossman)