A function f and its inverse f−1. Because f maps a to 3, the inverse f−1 maps 3 back to a. (echo:: @ ᯤ)