Source TeX:
c^2 = a^2 + b^2