9

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.

Jagath
  • 4,287
Eric
  • 1,665
  • 1
    By "origin[al] LaTeX", do you mean the Computer Modern versions of the symbols? (Computer Modern is available for PlainTeX, LaTeX, ConTeXt, and many other formats.) – Mico Jun 25 '16 at 15:49
  • 3
    You might be interested in Importing a single symbol from a different font. However, you can also try to store the symbol before loading mtpro2 (\let\oldforall\forall \let\oldexists\exists \usepackage{mtpro2}, for example). – Werner Jun 25 '16 at 15:54
  • @Mico. Yes! How can I redefine these symbol(only these particular symbol!) to the original one in Computer Modern? – Eric Jun 25 '16 at 15:54
  • @Werner. Great idea! And after loading mtpro2, can I use the \oldforall to replace the \forall using in current session? I don't want to add three letters in every use. – Eric Jun 25 '16 at 16:01
  • 2
    @Eric: After loading mtpro2, does \let\forall\oldforall \let\exists\oldexists restore the symbols? – Werner Jun 25 '16 at 16:33
  • @Werner Almost surely not. – egreg Jun 25 '16 at 18:08

1 Answers1

5

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.

enter image description here

egreg
  • 1,121,712
  • Thanks! Appreciate! By the way, how can I find a table of the code of symbols? Such like knowing \forall is "38, whereas \exists is "39 – Eric Jun 26 '16 at 14:53
  • @Eric The default settings are in fontmath.ltx in you TeX tree. – egreg Jun 26 '16 at 14:55
  • Thanks. I also want to find the code for \therefore, but I can't find it in fontmath.ltx, where's it? – Eric Jun 29 '16 at 12:45
  • @Eric That's in amssymb.sty, as far as I remember. – egreg Jun 29 '16 at 12:49