TeX source:
k_2 = 10-6\sqrt{3}