TeX source:
f^{-1}(70)=a