Am 02.10.2012 um 00:24 schrieb juan tolosa:
> What is the correct way to do it in Mac OS TeX?
ptmr8r – presumingly. That's a TeX font name for Times. "Times" seems to be some TeXtures special…
--
Greetings
Pete
"Evolution" o __o _o _
°\___o /0~ -\<, ^\___ /=\\_/-%
oo~_______ /\ /\______/ \_________O/ O_______________o===>-->O--o____