TeX source:
y^2 = x^3 - 7x + 10