\notimplies breqn 包的命令错误

Question

我正在尝试使用这个答案“不暗示”符号。但是我得到了错误：

Argument of \mathpalette has an extra }

以下是 MWE：

\documentclass{article}

\usepackage{amsmath}
\usepackage{breqn}

\newcommand{\notimplies}{%
  \mathrel{{\ooalign{\hidewidth$\not\phantom{=}$\hidewidth\cr$\implies$}}}}

\begin{document}
$x\notimplies y$
\end{document}

问题似乎出在这个breqn包裹上。

Answer 1

没错！breqn重新定义\not为有一个参数，因此它发现\phantom，这在这种情况下是错误的。

添加几个括号；即使没有，breqn结果也是一样的。

\newcommand{\notimplies}{%
  \mathrel{
    \ooalign{\hidewidth$\not{\phantom{=}}$\hidewidth\cr$\implies$}
   }
}

\ooalign我删除了周围没有用处的多余的，因为它\mathrel{...}形成了一个组。