A relational symbol representing multivalued mappings or correspondences between sets in category theory and analysis.
Examples
Function with multiple outputs (multivalued function)
f: X \multimap Y
Correspondence between sets in category theory
A \multimap B \multimap C
Set-valued mapping in analysis
F: \mathbb{R} \multimap \mathcal{P}(\mathbb{R})