TeX source:
\sqrt{a^2}=a