TeX source:
a^2=b^2+c^2-2bccos\alpha