TeX source:
z_1=\sqrt{7}