generalized Cartan matrix
A generalized Cartan matrix is a matrix whose diagonal entries are all 2, and whose off-diagonal entries are nonpositive integers, such that if and only if . Such a matrix is called symmetrizable if there is a diagonal matrix
such that is symmetric
.