Source TeX:
f(0) = 9.