Latex
- latex example - writing a type theory
- Quasiquoting latex
- Latex macros are not abbreviations
- includeonly
- latex - have a recycle bin on every paper
References.
- The Not So Short Introduction to Latex. Seems to include more advanced advice. https://tobi.oetiker.ch/lshort/lshort.pdf