TeX source:
f(2)=7