3 Dicembre 2009 alle 11:39
#39986
::
Il comando
`
\newcommand{\BS}{{\symbol{92}}}
` con il font di default mi produce un backslash se èsotto \texttt se invece è in roman mi dà il doppio apice. Come mai viene codificato in maniera diversa a seconda della forma del font?
\textbackslash è già disponibile senza inventare l’acqua calda. 🙂
Il tuo trucco funziona purché usi la codifica T1; il font normale in codifica OT1 non contiene la barra rovescia: dovendosi (volendosi) limitare a 128 caratteri, Knuth ne eliminò qualcuno di poco utile per metterci quelli importanti nella composizione del testo.
Ciao
Enrico