Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

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

share|improve this question
    
How about using the cancel package with $\cancel{\models}$? –  azetina Jun 5 '12 at 19:57
add comment

1 Answer

up vote 11 down vote accepted

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

share|improve this answer
    
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
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.