TeX source:
x= -\sqrt{7}