Useful LaTeX Style Files

by Leslie Lamport

All these style files are documented by comments at the beginning. They all define LaTeX-2.09 document-style options, but they should also work as LaTeX-2e packages. While I've tried to document all their idiosynchrasies, these styles are not as robust as the standard styles. Use them at your own risk.

tla.sty

18 November 1998
Helps in writing TLA (Temporal Logic of Actions) formulas and proofs, and TLA+ specifications. Defines commands and environments for TLA+ modules, and useful abbreviations, such as [] for \Box and => for \Rightarrow. It loads pf.sty and abbrev.sty (described below).

spec92.sty

29 October 1995
Defines a spec environment for printing an ASCII specification. The environment is like verbatim, except that \ works as usual, and various abbreviations are defined--for example, [ ] for \Box and => for \Rightarrow.

abbrev.sty

4 September 1994
Allows you to define your own abbreviations like the ones in tla.sty and spec92.sty.

pf.sty

19 January 1998
Defines commands and environments for writing formulas and structured proofs.