# [Tex/LaTex] Back to use the original \forall symbol

mtprosymbols

I'm currently using Math Time Pro2, but considering the \forall and \exists is not suitable for my liking. How can I change back to the origin LaTeX \forall and \exists symbol?

One more question, is that is there a more-straight (double) (left) right arrow? (I mean, in the "head" of the arrow) The \rightarrow-like symbol all have curly embellishment, which I don't want.

You can load a math symbol font:

\documentclass{article}
\usepackage[lite]{mtpro2}

\let\mtproforall\forall % just for the comparison
\let\mtproexists\exists % just for the comparison

\DeclareSymbolFont{CMsymbols}{OMS}{cmsy}{m}{n}
\SetSymbolFont{CMsymbols}{bold}{OMS}{cmsy}{b}{n}
\DeclareMathSymbol{\forall}{\mathord}{CMsymbols}{"38}
\DeclareMathSymbol{\exists}{\mathord}{CMsymbols}{"39}

\begin{document}

$\forall x\,\exists y$

$\mtproforall x\,\mtproexists y$

\end{document}


Look at the comparison and decide whether you really want the change.