TeX source:
f^{-1}\colon B \to A