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
• About taking live notes in LaTeX: https://stacky.net/wiki/index.php?title=Advice_on_real-time_TeXing
  • https://stacky.net/wiki/index.php?title=Course_notes

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) ʳ
• sagetex: embed sagemath stuff within latex

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
• Customizable pictures (most of them by Sam Carter):
  • tikzducks
  • tikzpeople
  • tikzlings
  • tikzbricks
  • tikzmarmots
  • tikzpingus