[OS X TeX] times font

juan tolosa juantolo at me.com
Tue Oct 2 05:05:01 CEST 2012

Thank you for your help. Something didn't work, though. 
I tried your suggestion in Plain TeX (that's the one I am trying to use) and got the error message

Undefined control sequence


 Then, just in case, I tried typesetting your suggestion in LaTeX, and got the error message

The font size command \normalsize is not defined:

there is probably something worng with the class file.


On Oct 1, 2012, at 7:12 PM, Michael Sharpe wrote:

> \def\Times#1{{\fontfamily{ptm}\selectfont #1}}
> and then use it in constructions like 
> Is \Times{@} different from \textbf{\Times{@}}?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://tug.org/pipermail/macostex-archives/attachments/20121001/93dc4d8c/attachment.html>

More information about the macostex-archives mailing list