TeX source:
b^2=c^2−a^2