26 Jan
2006
26 Jan
'06
7:27 p.m.
Hi, I have to typeset a document in postscript Times Roman. I guess I have to use \usetypescript[postscript][\defaultencoding] \setupbodyfont[postscript,10pt] But is this enough to make sure that my Times is really embedded and not "overwritten" by the standard printer Times when the PDF is printed? (I don't feel comfortable when using these standard fonts, that everybody has but none are the same ...) Steffen