Grazie egreg9 per la conferma. Purtroppo texttt lo devo mettere all’interno dell’argomento di un altro comando, quindi verb è da escludere. Ad ogni modo tutto ciò mi serve perchè sto lavorando sulla documentazione dei principali programmi della mia distribuzione GNU/Linux, e quindi ho bisogno di comandi quali: `\texttt{{-}{-}help}`
Puoi disabilitare le legature nel font dattilografico; ti va di fare da cavia per un esperimento? Scrivi il seguente incantesimo nel preambolo:
`\makeatletter
\AtBeginDocument{
\setbox\z@=\hbox{\ttfamily1}
\expandafter\g@addto@macro
\csname\encodingdefault+\ttdefault\endcsname{\pdfnoligatures\font}
}
\makeatother`
e poi usa \texttt{–} senza trucchi. Dovrebbe funzionare come chiedi.
Naturalmente non avrai legature di alcun tipo con il font dattilografico, ma di solito non servono. Quando mi confermi che non ci sono problemi, magari spiego l’arcano mistero.
Ciao
Enrico