TeX source:
(4, f(4))=(4,-23)