TeX source:
v_1=-1+\sqrt{3}