Source TeX:
a^2 + a^2 = 4