Comment 10 for bug 485745

> is there a way in Linux to select text in a pdf file and find out the underlying font?

at a command prompt, type:

pdffonts HW4.pdf

resulting output:

name type emb sub uni object ID
------------------------------------ ----------------- ------ ---- ---- -----------
Courier Type 1 no no no 5 0
Arial,Bold TrueType no no yes 8 0
Calibri,Bold TrueType no no yes 10 0
Arial TrueType no no yes 12 0
Times-Roman Type 1 no no no 13 0
Times-Italic Type 1 no no no 14 0
Symbol Type 1 no no no 15 0
Symbol CID TrueType yes no no 18 0
Arial,Bold TrueType no no no 20 0

(I've padded this with spaces as best I could - Launchpad needs a [code] tag to specify a monospaced font).

I presume emb stands for embedded.