TeX source:
pres^{-1}