Latex

Last updated Jan 8, 2025

Multiple specialized 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

References.

• The Not So Short Introduction to Latex. Seems to include more advanced advice. https://tobi.oetiker.ch/lshort/lshort.pdf