TeX source:
f(x) = \dfrac12 x^2-13x-15