14 Ottobre 2007 alle 16:54
#17650
::
Ehm, \font è un comando primitivo di TeX, che serve per definire i font da usare.
Perfetto. Per la cronaca, ho optato per
`\DeclareRobustCommand*{\fonte}[1]{#1%
\index{Font!#1}%
\index{#1}}`
Ridefinire il comando \font non è una buonissima idea, come avrai capito. Per motivi vari, gli sviluppatori di LaTeX hanno deciso che \DeclareRobustCommand non verifichi se il comando è già definito come con \newcommand, ma consultando il log si vede se ciò accade.
È bene, quando si usa \DeclareRobustCommand andare a vedere ciò che c’è scritto nel log, proprio per non incorrere in problemi del genere: ridefinire una primitiva piuttosto importante come \font fa sballare qualsiasi documento.
Ciao
Enrico