TeX source:
f(6) = 6