Gruppo Utilizzatori Italiani di TeX
@Enrico:
Mi dispiace, ma seguendo il tuo suggerimento non ottengo nulla di buono: la combinazione Maiusc + ” mi restituisce sempre:
“`''`
in una volta sola.
Ciao Tommaso
