与 MTPro Lite 和 breqn 包不兼容

Question

MTPro Lite 和 breqn 包存在不兼容性，从而破坏了 \implies 符号定义。

在我的示例代码中：

\documentclass{article}

\usepackage[lite,subscriptcorrection,slantedGreek,nofontinfo]{mtpro2}
\usepackage{mathtools}
\usepackage{fixmath}
\usepackage{breqn}

\begin{document}

Let $x\implies y$. Can you see the problem?

\end{document}

有什么办法可以解决这个问题吗？

Answer 1

问题似乎在于mtpro2使用的代码\Relbar与标准代码不同。

这是一个修复，但我不知道它是否会破坏其他东西。

\documentclass{article}

\usepackage[lite]{mtpro2}
\usepackage{amsmath}
\usepackage{breqn}

\AtBeginDocument{%
  \edef\Relbar{\mathord{\mathchar\the\numexpr\Relbar-"3000}}%
}

\begin{document}

$a \Longrightarrow b \Longleftarrow c$

$a \implies b \impliedby c$

\end{document}