Home | Blog | Wiki | About

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

Packages

• mathpartir: type rules
  • array environment 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.

• Formatting of questions and answers:
  • xsim: allows taking samples from a collection of questions
  • exam: useful for making question papers ˡ
• Code formatting:
  • listing
  • minted (needs Python)
  • lhs2tex (for Haskell) ʳ

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
• MetaPost may be cool too.
  • https://tug.org/docs/metapost/mpman.pdf