Gruppo Utilizzatori Italiani di TeX
Grazie Antonio. Ho visto che va bene anche [tt]-{]}[/tt]. Non avevo pensato alle parentesi graffe.
