Wondering how I typed such nice-looking PDFs? The answer: LaTeX. (Pronounced either “lay-tech” or “lah-tech”.)
How much does it cost? $nothing
- Windows: download MiKTeX.
- Mac: download MacTeX.
- Linux: if you don’t have it already, download TeX Live.
- Chromebook: sign up for ShareLaTeX.
- More details.
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.
My main recommendations:
Some other useful resources:
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