\multimapThe \multimap symbol is used in category theory and related fields to denote a multivalued function or a relation that maps elements from one set to multiple elements in another set. It is often used to represent a type of morphism or a relation in mathematical contexts.
A multivalued relation from set A to set B
A \multimap BA multivalued function from set X to set Y
f: X \multimap YA relation indicating that P is related to multiple elements in Q
P \multimap Q