TeX source:
x=-\sqrt{7}