[Tex/LaTex] negative entail symbol

symbols

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).

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

enter image description here

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}

enter image description here

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

\documentclass{article}
\usepackage{mathabx}

\begin{document}

\[ \Gamma\vDash A \]

\[ \Gamma\nvDash A \]

\end{document}

enter image description here

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}

enter image description here

Related Question