我正在寻找否定蕴涵符号在 latex 中，正片用 表示\models。我试过了\nmodels，但是没有用（我想把它放在我的 beamer 演示文件中）。
答案1
标准 LaTeX 为您提供\models和\not\models；使用该amssymb包，您拥有\vDash和\nvDash：
\documentclass{article}
\usepackage{amssymb}
\begin{document}
\[ \Gamma\models A \]
\[ \Gamma\not\models A \]
\[ \Gamma\vDash A \]
\[ \Gamma\nvDash A \]
\end{document}
使用MnSymbols您拥有的包\rightmodels（或其同义词\models）和\nrightmodels：
\documentclass{article}
\usepackage{MnSymbol}
\begin{document}
\[ \Gamma\models A \]
\[ \Gamma\nrightmodels A \]
\end{document}
使用mathabx您已有的包\vDash和\nvDash：
\documentclass{article}
\usepackage{mathabx}
\begin{document}
\[ \Gamma\vDash A \]
\[ \Gamma\nvDash A \]
\end{document}
正在加载MnSymbols或者mathabx其他一些符号发生变化。
评论中提到的另一个选择是使用包cancel；这需要使用来\mathbin恢复符号周围的适当间距；这里有一个例子，显示了\not\models和使用新定义的命令之间的比较\cancel：
\documentclass{article}
\usepackage{cancel}
\newcommand\nmodels{\mathbin{\cancel{\models}}}
\begin{document}
\[ \Gamma\models A \]
\[ \Gamma\not\models A \]
\[ \Gamma\nmodels A \]
\end{document}
