I want to know how to get two paralleled reverse single arrows between proposition A and B, and one of the arrows with a short slash, which means that A can deduces B but B cannot deduce A. Shortly, how to add a short slash (line segment) on one of the \leftrightarrows
?
\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
Proposition A$\leftrightarrows$Proposition B
I want to add a slash (line segment) on the leftarrow,
it means that A can deduce to B but B cannot deduce to A.
\end{document}
centernot