TeX source:
y^{2}=1-x^{2}