从 mathabx 导入的符号与 amsmath 冲突

Question

我在实施解决方案时遇到了问题这个答案. 如果amsmath不使用它，它就会起作用。

我尝试添加\let\oldimplies\implies，但没有成功。如果定义了新命令（例如），则它会起作用，\Implies但我宁愿重新定义\implies。

\documentclass{report}
\usepackage{amsmath}

\DeclareFontFamily{U}{matha}{\hyphenchar\font45}
\DeclareFontShape{U}{matha}{m}{n}{
      <5> <6> <7> <8> <9> <10> gen * matha
      <10.95> matha10 <12> <14.4> <17.28> <20.74> <24.88> matha12
      }{}
\DeclareSymbolFont{matha}{U}{matha}{m}{n}

\DeclareMathSymbol{\implies}{2}{matha}{"D1}

\begin{document}

$A \implies B$

\end{document}