为什么 \vDash 不起作用？

Question

我正在尝试设置一些逻辑表达式，但不幸的是我无法让命令\vDash工作。我遗漏了什么？

\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}

Answer 1

当然，除了其他事项之外，您需要在添加补充数学工具之前加载主要的 AMS 包。首先尝试添加\usepackage{amssymb}