::
samiel” post=65740Così però devo modificare tutti i \texttt…
Non c’è modo per reimpostare direttamente il font selezionato?
M
Così
`\let\neretto\textbf
\renewcommand{\textbf}[1]{\neretto{%
\fontencoding{T1}\fontfamily{ptm}\selectfont#1}
}`
?
Ciao
Orlando
