TeX source:
y^2=1