1

I am trying to set some logical expressions, but unfortunately I cant get the command \vDash working. What am I missing?

\documentclass[10pt,twoside]{memoir}
\usepackage[english,german]{babel}
\usepackage{polyglossia} % Vgl. http://tex.stackexchange.com/questions/135185
\setmainlanguage[spelling=old,babelshorthands=true,script=latin]{english}
\usepackage{fontspec}
\setmainfont[Numbers={OldStyle},Ligatures={Common, Historic}]{Adobe Garamond Pro}
\usepackage{mathtools}
\begin{document}

\begin{english}

$ A,\neg A \vDash B $

\end{english}
\end{document}
user5950
  • 1,456
  • There seem to be a lot of \vDash and similar commands, especially in package \mathabx. If that is not included automatically by mathtools, you have to do it manually. –  Jul 07 '14 at 22:01
  • 1
    \usepackage{amssymb} is necessary. However, mathtools should be loaded before fontspec and loading both babel and polyglossia doesn't make sense. – egreg Jul 07 '14 at 22:25
  • If you are typesetting symbolic logic, you should look at turnstile. To get everything looking right, you also need to adjust the spacing of some things because symbols are sometimes used differently (e.g. the spacing of a unary operator should not be the same as that of a binary one). But this is less of a problem if you use \neg rather than the tilde for negation. – cfr Jul 07 '14 at 23:09

1 Answers1

4

Surely, apart from anything else, you need to be loading the principal AMS packages before adding the supplementary math tools. Try, for a start, adding \usepackage{amssymb}

daleif
  • 54,450
Peter Smith
  • 589