TeX

Logic macros

logic.tex is a package of user-friendly plain TeX macros that enable intuitive typesetting of standard formal logic with code that is easy to produce and easy to parse, even for people with no TeX or programming experience. I wrote these primarily so that students could complete problem sets, quizzes, and exams on Overleaf; there are examples linked on the github page.

• github / documentation (including editable source)

The macros are mutually-independent and cover the following:

• Single-character abbreviations for symbols, such as > and - for → and ¬

• Fitch-style proofs

• Truth tables

• Arguments (premises and a conclusion separated by a horizontal line)

• Diagrams of relative height (as countermodels to prove invalidity)

• Italic math letters with word-like kerning

• Sans-serif math letters

Date calculator

schedcalc.tex is a little macro package for automatically calculating the dates in a class schedule.

• macros / documentation (pdf) / documentation (source)