Gruppo Utilizzatori Italiani di TeX
In gererale sì, ci vorrebbe \makeatother; ma se quelle righe sono messe nel preambolo, ci pensa \begin{document} a reimpostare il codice di categoria del simbolo “at”, cioè @.