TeX source:
f(5) = 10