TeX source:
1=x^2+1