Несовместимость с пакетами 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}