TeX source:
f(g(1))=f(3)