TeX source:
a^2-8a+16