Incompatibilidad con MTPro Lite y paquetes breqn

Question

Existe una incompatibilidad con los paquetes MTPro Lite y breqn que rompe la definición del símbolo \implies.

En mi código de muestra:

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

Hay alguna manera de arreglarlo?

Answer 1

El problema parece estar en que mtpro2utiliza un código diferente \Relbaral estándar.

Aquí hay una solución, pero no sé si rompe algo más.

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