TeX source:
(\sqrt{x})^2 = x