TeX source:
f_7(x)