TeX source:

x=-\sqrt{7}