Comment by nyanpasu64

I noticed the article uses the Polyvers font (complete with bold capitals in the headings), which I haven't seen on the Internet. Wonder what that is.

EDIT: It seems to coexist with U001, which is "An Univers-like typeface that comes with GhostPDL made by URW++."