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