Source TeX:
a^2 = 2