TeX source:
a^2=64