Source TeX:
f(3)=7