TeX source:

x=\sqrt{7}