A specialized function notation representing the inverse image or preimage mapping in category theory and topology.
