TeX source:

[f(1) = 0