如何在其中一个 \leftrightarrows 上添加短斜线（线段）？

Question

我想知道如何在命题A和B之间得到两个平行的反向单箭头，其中一个箭头带有短斜线，这意味着A可以推论B但B不能推论A。简而言之，如何在其中一个箭头上添加短斜线（线段）\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}

Answer 1

一种与旧样式相结合的可能性\nleftarrow由以下方式提供：amssymb\rightarrowold-arrows

\documentclass{article}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage[old]{old-arrows}

\makeatletter
\newcommand{\notleftyesrightarrow}{\mathrel{\mathpalette\notleft@yesrightarrow\relax}}
\newcommand{\notleft@yesrightarrow}[2]{%
   \vcenter{%
      \m@th
      \offinterlineskip
      \hbox{$#1\nleftarrow$}
      \hbox{$#1\varrightarrow$}
   }%
}
\makeatother
\begin{document}

$A \notleftyesrightarrow B \leftrightarrows C$
$\scriptstyle A \notleftyesrightarrow B \leftrightarrows C$
$\scriptscriptstyle A \notleftyesrightarrow B \leftrightarrows C$

\end{document}

old-arrows使用该选项加载包并不会替换标准箭头，而是提供在名称前加上的old单独样式的箭头（此处）。var\varrightarrow

Answer 2

\documentclass{article}
\usepackage{centernot}

\begin{document}
\[
    A \leftrightarrow
    \begin{array}{c}
        \rightarrow\\[-4pt]
        \centernot{\leftarrow}
    \end{array}
    B
\]
\end{document}

使用centernot斜线包和array环境将一个箭头放在另一个箭头上方，通过4pt使用\\[-4pt]而不是仅仅减少垂直间距\\