This site gives a brief guide to resources of interest to logicians, philosophers and others using LaTeX to produce papers or presentations, teaching materials, theses or books, and perhaps wanting to include logical matter such as natural deduction proofs. (NB This is in part a port of an older site, and not every internal link now works. Sorry about that! One day I might get round to re-doing this entirely: but the number of visitors makes it plain that even in this less-than-ideal form, the site is serving a need.)
- General info. Most of the information in these pages is really intended for those who already have some familiarity with LaTeX. But if you are curious, or want a few pointers to sources of fairly introductory info, look here. There are also a few general LaTeX links of interest to the more expert.
- Logic symbols. For lists of available logic and other symbols.
- Natural deduction proofs. Packages for laying out natural deduction and sequent proofs in Gentzen style, and natural deduction proofs in Fitch style.
- Tree/tableau proofs. Packages for downward-branching trees.
- Diagrams. How to set commutative diagrams for category theory, and other programs for diagram construction.
- Logicians’ miscellany. Links to a variety of other resources which could be particularly useful for logicians
- In the classroom. This page gives links to resources which are especially useful for classroom use (in particular, packages for producing slides for data projectors, for constructing problem sheets, etc.).