TeX джерело:
\cos x \ne 0