\catcode`\@=11 \let\alignedat\undefined\let\doat@\relax\let\endalignedat\undefined \let\alignat\undefined\expandafter\let\csname alignat \endcsname\relax \let\endalignat\undefined\let\xalignat\undefined \expandafter\let\csname xalignat \endcsname\relax\let\attag@\relax \let\endxalignat\undefined\let\xxalignat\undefined \expandafter\let\csname xxalignat \endcsname\relax\let\xxattag@\relax \let\endxxalignat\undefined \catcode`\@=\active