If you use my mathspec package, I think you'll be able to achieve what you are looking for:<br><br><div style="margin-left: 40px; font-family: courier new,monospace;">\documentclass{article}<br><br>\usepackage{mathspec}<br>
<br>\setprimaryfont[Numbers={OldStyle,Proportional}]{Hoefler Text}<br>\setmathsfont[Set=Greek,Lowercase=Regular]{GFS Porson}<br><br>\begin{document}<br><br>Text here in Hoefler Text. And some mathematics in Hoefler/Porson:<br>
\[ 123 abc \Alpha\Beta\Gamma μνξ \omicron\pi\rho\]<br><br>\end{document}<br></div><br>Note that you can use both control sequences and literal Greek characters in the maths (and the entire alphabet is defined).<br><br>I don't think the package is included in TeX Live/MacTeX, and needs to be downloaded separately. You can use the package manager to do this, which will also update everything else that you have.<br>
<br>It is exceptionally unusual to write existential and universal quantifiers with serifs (in fact I've never seen it done). It is certialy possible to take A and E from any ordinary text font and transform them for this purpose, but I would recommend using a sans serif font like Helvetica. The same can be done with iota. Give it some time so that I (or another faster person) can work out the appropriate definitions for these.<br>
<br> Feel free to ask if you want further help and good luck!<br><br>Regards,<br>Andrew<br><br>