TeX source:

\text{car} (M) = \text{car} (M|b) \neq n \Rightarrow