TeX source:
x \approx-7.062