TeX source:
f^{n+1}=f^n \circ f