IsSymmetric(M: MAT): BOOL
/**/ M := mat([[1, 2, 3], [2, 4, 5], [3, 5, 6]]); /**/ IsSymmetric(M); true