Wherever Times is specified, Times Roman or Times
New Roman may be used. If neither is available on your
word processor, please use the font closest in appearance to
Times. Avoid using bit-mapped fonts if possible. True-Type
1 or Open Type fonts are preferred. Please embed symbol
fonts, as well, for math, etc.