Source TeX:
x^4 = (x^2)^2