单向蕴涵，单向无蕴涵

Question

我想制作两个相互叠放的暗示箭头，朝向相反的方向，这样底部的箭头实际上不是暗示。我还希望能够用文字标记这些箭头。

Answer 1

这是否回答了我问题中描述的问题？有三种类型的例子，希望我回答正确。

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb}
\usepackage{scalerel}

\begin{document}
\[a\mkern10mu\Rightarrow \mkern-30mu\nLeftarrow\mkern10mu b\]
\[a \nLeftrightarrow b\]
\[a \overset{\,\scaleobj{1.5}{\Rightarrow}}{\nLeftarrow} b\]
\end{document}