Gruppo Utilizzatori Italiani di TeX
Hai ragione! Grazie mille Lorenzo 🙂 I due punti prima del secondo uguale sono necessari, mentre ho preferito \ldots a \dots perché li scrive “a raso terra”.
Non ho capito bene quale sia la differenza fra ” \ ” e ” \, “.