U+22B8 "⊸" Multimap Unicode Character

U+22B8 "⊸" Multimap is a mathematical symbol representing a relation that associates each element of one set with one or more elements of another set, generalizing the concept of a function or ordinary mapping by allowing multiple possible outputs for a single input. In formal logic and computer science, it often denotes a nondeterministic or multivalued function, such as in type theory or relational algebra, where it conveys a loose or branching correspondence rather than a strict one to one relationship. This symbol is part of the Miscellaneous Mathematical Symbols B block and is used in various technical contexts to express mappings that are not necessarily single valued.