Gruppo Utilizzatori Italiani di TeX
Non ci ho provato, ma se aggiungi [tt]{ß}{\ss}1[/tt] alla lista dei segni da mettere con comandi TeX che cosa succede?
