Gruppo Utilizzatori Italiani di TeX
Non lo so, non funziona il codice di @Doc, ne specificare le default font options. Ora provo ad aggiornare il sistema (perché l’ultima volta è stato a settembre) e vedo se cambia qualcosa.
