negative entail symbol

I am looking for the negative entail symbol in latex where the positive is presented by \models. I tried \nmodels but it doesn't work (I want to have it in my beamer presentation file).

-
How about using the cancel package with $\cancel{\models}$? –  azetina Jun 5 '12 at 19:57

1 Answer

Standard LaTeX offers you \models and \not\models; using the amssymb package, you have \vDash and \nvDash:

\documentclass{article}
\usepackage{amssymb}

\begin{document}

$\Gamma\models A$

$\Gamma\not\models A$

$\Gamma\vDash A$

$\Gamma\nvDash A$

\end{document}


Using the MnSymbols package you have \rightmodels (or its synonym \models) and \nrightmodels:

\documentclass{article}
\usepackage{MnSymbol}

\begin{document}

$\Gamma\models A$

$\Gamma\nrightmodels A$

\end{document}


Using the mathabx package you have \vDash and \nvDash:

\documentclass{article}
\usepackage{mathabx}

\begin{document}

$\Gamma\vDash A$

$\Gamma\nvDash A$

\end{document}


Loading MnSymbols or mathabx some other symbols change.

Yet another option mentioned in a comment, would be to use the cancel package; this requires the use of \mathbin to recover the proper spacing around the symbol; here's an example showing a comparison between \not\models and a newly defined command using \cancel:

\documentclass{article}
\usepackage{cancel}

\newcommand\nmodels{\mathbin{\cancel{\models}}}

\begin{document}

$\Gamma\models A$

$\Gamma\not\models A$

$\Gamma\nmodels A$

\end{document}


-
How about the implementation of the cancel package? I know your answer avoids the use of an extra package, is it a solution. –  azetina Jun 5 '12 at 21:00
@azetina initially I didn't include this option bacause it involves not only \cancel, but also \mathbin and this seems to be "too much work" for an already defined symbol. However, you're right, it's another option so I've included it. –  Gonzalo Medina Jun 5 '12 at 21:07
Thanks, very good answer. I used \not\models without any problem. –  Rasoul Jun 6 '12 at 20:42
There's a marginal difference in using \centernot\models (from the centernot package). –  Werner Jun 6 '12 at 21:25