::
Ok grazie. L’unica cosa che non mi soddisfa pienamente di questa soluzione è che a differenza di % non cambia il colore del testo, e quindi la parte tra \begin{comment} e \end{comment} non salta subito all’occhio come parte commentata. C’è un modo di far apparire questo testo in grigio?
