How to typeset appropriate “does not entail” symbol?

Philipp Ploder 05/22/2018. 4 answers, 736 views

I am looking for a LaTeX symbol that means "A does not entail B". The mathematical symbol I found for this is , however I haven't found any way of displaying it properly.

How can I convey the desired meaning?

4 Answers

Steven B. Segletes 05/22/2018.
$A\doesnotentail B$

$A\vdash B$

enter image description here

And some other ways:

$A\doesnotentail B$ via stackengine

$A\vdash B$ \textbackslash vdash

$A\nvdash B$ \textbackslash nvdash

enter image description here

Bernard 05/22/2018.

The mathabx fonts define a plethora of such symbols. Here is a code to use them without loading the whole font:


 <-6> matha5
<6-7> matha6
<7-8> matha7
<8-9> matha8
<9-10> matha9
 <10-12> matha10
  <12-> matha12
  } {}%

<-6> matha5 
<6-7> matha6 
<7-8> mathb7 
<8-9> mathb8 
<9-10> mathb9 
<10-12> mathb10 
<12-> mathb12 




\texttt{\textbackslash nvdash} &\quad & \nvdash &\hspace{4em} & \texttt{\textbackslash ndashv} &\quad & \ndashv \\
\texttt{\textbackslash nvDash} &\quad & \nvDash &\hspace{4em} & \texttt{\textbackslash nDashv} &\quad & \nDashv \\
\texttt{\textbackslash nVdash} &\quad & \nvDash &\hspace{4em} & \texttt{\textbackslash ndashV} &\quad & \nDashv \\\\
\texttt{\textbackslash nVDash} &\quad & \nVDash &\hspace{4em} & \texttt{\textbackslash nDashV} &\quad & \nDashV \\
\texttt{\textbackslash nVvdash} &\quad & \nVDash &\hspace{4em} & \texttt{\textbackslash nDashV} &\quad & \ndashVv


enter image description here

Davislor 05/23/2018.

The ⊬ is U+22AC (Does Not Prove). This is \nvdash in amssymb and many other packages, including unicode-math, pxfonts, MnSymbol, fdsymbol, mathabx, stix and more.

\documentclass[varwidth, preview]{standalone}
\usepackage{amssymb} % Or your font package of choice.


\( p ⊬ q \) and \(q \nvdash p\).

p ⊬ q and q ⊬ p

The Comprehensive LaTeX Symbols List shows what the symbol looks like in many of these fonts.

Even simpler:

\documentclass[varwidth, preview]{standalone}

% You can \setmainfont and \setmathfont here.

\( p ⊬ q \) and \(q \nvdash p\).

The List of Symbols Defined by unicode-math shows what this symbol looks like in several OpenType fonts (on page 58).

But, the other answers give some really clever ways to fake it, if you want to make things more complicated.

egreg 05/22/2018.

Here's a possible solution for keeping the negation slash to the height of the “entailment” symbol.




$A\notvdash B$


enter image description here

Related questions

Hot questions


Popular Tags