TeX source:
f(a)=70