TeX source:
\textbf{x}\neq \textbf{y}_0