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