TeX джерело:
{{x^2} - 1 \ne 0}