[Tex/LaTex] How to typeset appropriate “does not entail” symbol

symbols

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?

Best Answer

\documentclass{article}
\usepackage{amssymb}
\newcommand\doesnotentail{\mkern-2mu\not\mkern2mu\vdash}
\begin{document}
$A\doesnotentail B$

$A\vdash B$
\end{document}

enter image description here

And some other ways:

\documentclass{article}
\usepackage{amssymb,stackengine}
\newcommand\doesnotentail{\mathrel{\ensurestackMath{%
  \stackengine{.175em}{\vdash}{\scriptstyle/}{O}{c}{F}{F}{L}}}}
\begin{document}
$A\doesnotentail B$ via stackengine

$A\vdash B$ \textbackslash vdash

$A\nvdash B$ \textbackslash nvdash
\end{document}

enter image description here