TeX source:
x^{2}-7=0