TeX source:
\det(M) \neq 0