TeX source:
\text{car}(M) = n \Rightarrow