Links
- LaTeX for logicians
- DO's and DON'Ts when typesetting a document
- Advise on making academic posters: link, link
- A summary of useful LaTeX commands: link
- About taking live notes in LaTeX: https://stacky.net/wiki/index.php?title=Advice_on_real-time_TeXing
Packages
mathpartir: type rules
arrayenvironment can be useful with this- Typesetting inference rules with mathpartir: link
bussproof: proof trees
Packages for typesetting natural deduction: link
simplebnf: for simple grammars
forest: useful for drawing trees, including parse trees.
minutes: for writing meeting minutes
- Default commands are in German. Use babel to get English commands
- https://www.dickimaw-books.com/latex/admin/html/minutessty.shtml
Formatting of questions and answers:
- xsim: allows taking samples from a collection of questions
- exam: useful for making question papers ˡ
Meeting agenda and minutes:
Code formatting:
- listing
- minted (needs Python)
- lhs2tex (for Haskell) ʳ
Tables: booktabs, tabularray, nicematrix, array
sagetex: embed sagemath stuff within latex
Templates:
- Paper review response
TikZ
- tikzcd: Commutative diagrams in category theory
- https://texample.net/tikz/examples/all/
tikzmath, apparently a tikz library to have functions- https://uva-fnwi.github.io/LaTeX/extra1/Tikz/: Includes a mention of tikzmath library
- tikz-automata: Draw automata transition diagrams
- tikz-euclide: Euclidean geometry figures
- tzplot, tikz-3dplot
- MetaPost may be cool too.
- Customizable pictures (most of them by Sam Carter):
- tikzducks
- tikzpeople
- tikzlings
- tikzbricks
- tikzmarmots
- tikzpingus