TeX source:
f \circ g(8) = f(3)