C’è una differenza di .4pt che si nota. […]
Enrico, resto sempre ammirato di fronte alla tua conoscenza di LaTeX così profonda e accurata…
Bastava leggere un .log 8)
Mi piace di più il trucchetto con \showthe\font. Tanto per la cronaca, il comando primitivo \font ha due usi.
`\font\xyz=cmr10`
definisce il comando \xyz come “selettore di font”; non lo si dà mai in LaTeX, che lo nasconde dietro tutto l’apparato di NFSS2.
Ma dopo un comando \the o \showthe produce il nome simbolico del font attuale. Dopo \fontname invece produce una stringa di caratteri di categoria 12 corrispondente al nome del font esterno che è attualmente in uso.
`Il font che si sta usando adesso è \fontname\font`
Provalo; a volte questi trucchetti riescono a farti risolvere situazioni strane.
Ciao
Enrico