Particularly for logicians
Logical symbols
|
- The AMS short guide to maths setting.
- The ASL list of standard LaTeX symbols plus those provided by the package amssymb.sty (part of any standard LaTeX distribution).
- Scott Pakin's wonderful Comprehensive LaTeX Symbol List -- now a mere 4948 to choose from. Consult index under ...
- "definite description" for two solutions for inverted iota definite description operator;
- "strictif" for the fish-hook sign for strict implication, and "boxright" for Lewis's symbol for the counterfactual. These symbols are part of the txfonts and pxfonts packages, which are intended for use with the Times Roman and Palatino fonts, respectively. But (thanks to Richard Zach for this), you can access them e.g. while still using Computer Modern by having the txfont package available and putting this in the preamble:
- \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
- \DeclareMathSymbol{\strictif}{\mathrel}{symbolsC}{74}
- \DeclareMathSymbol{\boxright}{\mathrel}{symbolsC}{128}
- "par" for inverted "&" for linear logicians.
- "iddots" for mathdots command to get three dots going up from south-west to north-east.
- "alphabets, math" for more alphabets for symbols [in particular, note the package mathrsfs which provides script capitals: usage "$\mathscr{LMN}$".]
- For constructing a wide variety of turnstyle symbol, there is a dedicated turnstile package.
- Fonts for linear logicians.
- The gene-logic package offers some enhancements -- more generously spaced logic symbols plus another version of a blackboard font.
- For suggestions on setting the non-monotonic squiggle |~, and probabilistic independence sign, see here.
|
Layout for theorems, etc.
|
- amsthm.sty (the theorem setup of the AMS document classes amsart, amsbook, etc., in stand-alone package form, which should be in any LaTeX distribution) defines environments which are much more configurable than the basic LaTeX 'theorem' environment. There's a description here, and a more extensive account in Chapter 3 of the Companion.
- ntheorem.sty (Wolfgang May and Andreas Schedler) is another, even more flexible, package.
|
Setting out formal proofs
|
|
Diagrams for logic and category theory
|
- pgf and TikZ (Till Tantau, 2005: a general TeX macro package for generating graphics, with a user-friendly syntax layer called TikZ).
- Guide to commutative diagrams packages (J.S. Milne 2005)
- diagrams.tex (Paul Taylor 1986 --), classic macros: highly rated, "great for drawing simple or very complicated commutative diagrams" for category theory
- XY-pic (Kristoffer Rose and Ross Moore 1991 - 2002; extremely powerful and versatile: there's a chapter on this in The LaTeX Graphics Companion)
- Tree drawing in LaTeX (from LaTeX for Linguists)
- Dednat (Eduardo Ochs, 2008) preprocesses proofs or diagrams written without markup.
|
Miscellany
|
- algorithms.sty (Peter Williams, 1996, 2004, Rogério Brito 2005) for laying out algorithms in a standard form).
- begriff.sty (Josh Parsons, 2003, for setting Begriffsschrift-style expressions).
- Begriffsschrift Software (an easy to handle interface with either an xml output or a LaTeX output to be used with Josh Parsons Begriffsschrift style file).
- Branching quantifiers (the best solution is that suggested by Colin McClarty: use the pmatrix structure available in amsmath package).
- Corner quotes for Gödel numbers (Sam Buss)
- QED.sty (Paul Taylor, 1996, 2003, for setting right-justified end-of-proof marks)
|
 |
© Peter Smith, 2008
|
