Logic Symbols

Math mode If as a logician you need a tutorial on ‘math mode’ in LaTeX, then you may well find Herbert Voss’s document Math Mode particularly useful.

Basics on symbols

The symbol bible

  • Scott Pakin’s wonderful Comprehensive LaTeX Symbol List— now a mere 17000+ to choose from. Consult the List’s index under …
    • “definite description” for two solutions for inverted iota definite description operator: or a slight tweak is to put \usepackage{ kpfonts} in the preamble and then use {\text{\rotatebox[origin=c]{180}{\iotaup}}.
    • “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]..

Special symbol solutions

  • Negation: To use old-style “~” for negation, define a command (e.g. “\oldneg”) in the preamble  by “\newcommand*{\oldneg}{\mathord{\sim}}”. The \sim symbol is pre-defined as a relation symbol and writing “\sim P” will produce an unwanted space between the symbols, while “\oldneg P” will now, as wanted, produce \sim\!\!P.
  • Corner quotes: A page on how to set corner quotes (e.g. for Gödel numbers) at the right height (Sam Buss, Heiko Oberdiek).
  • More conditionals: e.g. the “strictif” for the fish-hook sign for strict implication, “boxright” for Lewis’s symbol for the counterfactual, and other Lewisian symbols. These 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 to declare the commands \strictif and \boxright:
  • \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
    \DeclareMathSymbol{\boxRight}{\mathrel}{symbolsC}{136} % Lewis’s stronger ‘would’ counterfactual
    \DeclareMathSymbol{\diamondRight}{\mathrel}{symbolsC}{140} % Lewis’s stronger ‘might’ counterfactual
    \DeclareMathSymbol{\diamonddot}{\mathord}{symbolsC}{144} % Lewis’s inner necessity

    Similarly of course for invoking other symbols you want. To get the number for a symbol to use with \DeclarMathSymbol you can use the method described here.

A triple turnstile to match the usual single and double turnstiles?  A solution here.

  • Other turnstiles: For constructing a considerable variety of turnstile symbol, there is a dedicated turnstile package. If you want a mirror-image of  a turnstile (or indeed other symbols) see also here. For the squiggly turnstile for non-monotonic consequence, and other symbols, there are some solutions here from Gregory Wheeler.
  • Symbols for linear logiciansFonts for linear logicians.

Which maths fonts?

  • Substituting for the standard Computer Modern text fonts raises issues about which is a good choice for a matching maths font for your letter-symbols, etc. There is a gallery of options in the 2nd edition of the Companion. See also
  • The gene-logic package offers some enhancements — more generously spaced logic symbols plus another version of a blackboard font.
  • XeTeX/LuaLaTeX users have more font options, since they they can use the Unicode fonts via the unicode-math package.
    • Note the ongoing STIX project for providing a huge range of Unicode symbols designed to fit with a Times text font, STIX2 fonts.
    • For additional unicode symbols especially aimed at logicians, see the logix package (Michael Finney 2001-2022) which complements the STIX fonts. It also provides knot symbols for constructing knot diagrams.

Updated 25 January 2023

Scroll to Top