TeX source:
f^{-1}=[1, \infty)