U+27DC "⟜" Left Multimap Unicode Character

U+27DC "⟜" Left Multimap is a mathematical symbol used primarily in relational algebra, category theory, and type theory, often to represent a binary relation or mapping that can associate a single input with multiple possible outputs, typically written as ( A ⟜ B ) to denote an operation or morphism from ( A ) to the powerset of ( B ). It is distinct from the right multimap (U+27DD) and is visually similar to a left-pointing arrow with a vertical bar, allowing it to function as a notation for multivalued functions or nondeterministic computations in formal logic and computer science.