Incompatibilidade com pacotes MTPro Lite e breqn

Question

Há uma incompatibilidade com os pacotes MTPro Lite e breqn que quebra a definição do símbolo \implies.

No meu código de exemplo:

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

Há algum modo de consertar isso?

Answer 1

O problema parece estar no mtpro2uso de um código diferente \Relbardo padrão.

Aqui está uma solução, mas não sei se isso quebra alguma outra coisa.

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