[OS X TeX] times font

[juan tolosa]

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

\fontfamily





 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.



Juan


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>