Wondering how I typed such nice-looking PDFs? The answer: LaTeX. (Pronounced either “lay-tech” or “lah-tech”.)

How much does it cost? $nothing

## Installation

**Windows:**download MiKTeX.**Mac:**download MacTeX.**Linux:**if you don’t have it already, download TeX Live.**Chromebook:**sign up for ShareLaTeX.- More details.

## TeX Editors

For actually typing .tex files, here are some recommended editors:

**Windows:**Russ suggests TeXstudio.**Mac:**TeXShop is both free and good enough. I personally use Texpad now, and some like Latexian, both of which are $10 in the App Store.**Online Editor:**sign up for ShareLaTeX.

## Resources

#### Introductory Material

My main recommendations:

Some other useful resources:

#### & Language

Some guides I’ve written up:

- Natural Deduction Proofs in LaTeX: covers Fitch proofs, proof trees, truth trees, and Lemmon proofs.
- Quick TikZ for Modal Logicians

Packages and other guides:

**Fitch Proofs:**fitch or lplfitch.**Proof Trees:**bussproofs**Truth Trees:**qtree sort of works, but TikZ is more flexible.**Diagrams:**TikZ or XY-Pic.**:**LaTeX for Logicians.**Linguistics:**LaTeX4Ling

#### Troubleshooting

- Detexify lets you search for symbol commands by drawing them.
- The Comprehensive LaTeX Symbol List: literally.
- TeX Stack Exchange probably can answer
*any*question you may have.