amsmath definition of \@eqnum