Inkompatibilität mit MTPro Lite- und breqn-Paketen

Question

Es besteht eine Inkompatibilität mit den Paketen MTPro Lite und breqn, die die Symboldefinition \implies unterbricht.

In meinem Beispielcode:

\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}

Gibt es eine Möglichkeit, das Problem zu beheben?

Answer 1

Das Problem scheint darin zu liegen, dass mtpro2ein anderer Code \Relbarals der Standardcode verwendet wird.

Hier ist eine Lösung, aber ich weiß nicht, ob dadurch noch etwas anderes kaputt geht.

\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}