Mi sono un po’ informato e ho constatato che ci sono 14 font (detti core fonts) che di default non vengono inclusi da pdflatex.
Però se compilo questo codice
`\documentclass{minimal}
\usepackage{mathptmx}
\begin{document}
Ciao
\end{document}`
il file mi viene di 9 kB mentre se commento la seconda riga mi viene da 4 kB.
Entrambi i pdf includono un font (ovviamente diverso).Mi aspettavo che nel primo caso il font non venisse incluso nel pdf e che
la dimensione del file venisse minore.Comunque se il vantaggio di non includere i font è di pochi kilobyte in un documento
“normale” direi che non vale la pena perderci troppo tempo. Giusto?
Le distribuzioni più diffuse, per evitare problemi di diritti d’autore e non solo*, usano i font URW (di pubblico dominio) al posto di alcuni dei 14 font standard e Times è appunto uno di questi. Se vuoi che non succeda, devi modificare la corrispondenza:
`\documentclass{minimal}
\pdfmapline{=ptmr8r Times-Roman 6 “TeXBase1Encoding ReEncodeFont” <8r.enc}
\pdfmapline{=ptmri8r Times-Italic 6 “TeXBase1Encoding ReEncodeFont” <8r.enc}
\pdfmapline{=ptmb8r Times-Bold 6 “TeXBase1Encoding ReEncodeFont” <8r.enc}
\pdfmapline{=ptmbi8r Times-BoldItalic 6 “TeXBase1Encoding ReEncodeFont” <8r.enc}
\usepackage{mathptmx}
\begin{document}
Ciao
\end{document}`
Con questa modifica il file mi viene di 1671 B.
* Usando i font URW si evita soprattutto il problema della miriade di varietà di Times in giro per il mondo.
Ciao
Enrico