Source TeX:
f(2) = 1