TeX source:
f(5)=10