LaTeX for Logicians
There is a wealth of general material available online about LaTeX (and AI assistants can now offer invaluable help too). But perhaps there is still a role for some pages assembling links to specific resources of particular interest to logicians, philosophers and others using LaTeX.
Logic symbols. Lists of available logic and other symbols.
Natural deduction proofs. Packages for laying out natural deduction and sequent proofs in Gentzen style, and natural deduction proofs in Fitch style.
Tree/tableau proofs. Packages for downward-branching trees.
Diagrams. General programs for diagram construction. How to produce commutative diagrams for category theory in particular.
In the classroom. This page gives links to resources which are especially useful for classroom use (e.g., packages for producing slides for data projectors, for constructing problem sheets, etc.).
Logicians’ miscellany. Links to a variety of other resources which could be particularly useful for logicians.
Fonts, etc. Links to additional information about fonts suitable for texts with a substantial amount of maths/symbols. Also a note on resources for long documents.
LaTeX for Logicians started mid 2004: thanks to all the contributors over the years! Suggestions for relevant additions always most welcome.