Latex

Last updated Feb 15, 2025

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

• IEEEtran template
• apxproof package

References.

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