0

Possible Duplicate:
How do I find out what fonts are used in a document/picture?

Which font ist used in the following document?

http://www.math.helsinki.fi/logic/people/jouko.vaananen/shortcourse.pdf

excerpt from the mentioned document

Corq
  • 1
  • Ah, this done in word, I'm sorry. – Corq Sep 04 '12 at 13:27
  • or off-topic because it's not a LaTeX document. – Thorsten Sep 04 '12 at 13:32
  • The main font is a form of Times (Linotype Times, as can be seen from the digit 5). The math symbols are from Adobe Symbol. Very poor typography; the spacing in math formulas is mostly wrong. – egreg Sep 04 '12 at 13:33

1 Answers1

1

The font used is Times New Roman. You can look at the used fonts in Adobe Reader, under Properties (or something like that) -> Fonts. If you use Linux, you can use the tool pdffonts.

Juri Robl
  • 4,763