Canonical forms are developed for several sets of matrices that are normal with respect to an indefinite inner product induced by a nonsingular Hermitian, symmetric, or skewsymmetric matrix. The most general result covers the case of polynomially normal matrices, i.e., matrices whose adjoint with respect to the indefinite inner product is a polynomial of the original matrix. From this result, c...