TeX source:
b^2=a^2+c^2-2accos\beta