对 stackrel 表达式取反 (\not)

Question

我正在使用以下命令生成带有上标的箭头，然后将其取反：

\not \stackrel{x}{\Longrightarrow}

问题是“\not”斜线出现在箭头左侧很远的地方。它也能穿过箭头，但不够长，无法穿过上标。

解决这些问题的正确方法是什么？

Answer 1

也许是这样的：

\documentclass{article}
\usepackage{amsmath,relsize}

\newcommand\vrel[1]{\overset{#1}{\Longrightarrow}}
\newcommand{\negvrel}[1]{\mathrel{%
  \ooalign{%
    \hidewidth\raisebox{.4ex}{$\mathlarger{\mathlarger{/}}$}\hidewidth\cr
    $\vrel{#1}$\cr
  }%
}}

\begin{document}

$A \vrel{x} B \negvrel{x} C$

\end{document}