TeX source:
\det (M) \neq 0 \Rightarrow