Aspects of Latex typesetting.
- writing a type theory with mathpartir
- Latex macros are not abbreviations
- includeonly
- have a recycle bin on every paper
- typesetting a differential operator
- quasiquoting latex
- dois in latex
- Try to make code legible.
- Use the knowledge package.
- Use dollar signs for inline formulas, so that parentheses are readable in the source code.
Topics
References.
- The Not So Short Introduction to Latex includes advanced advice. https://tobi.oetiker.ch/lshort/lshort.pdf