  Motivated by the recent work of R. Casals on binary invariants for matrix
mutation, we study the matrix congruence relation on quasi-Cartan matrices. In
particular, we obtain a classification and determine normal forms modulo 4. As
an application, we obtain new mutation invariants, which include the one
obtained by R. Casals.
