U+22B8 Multimap
U+22B8 was added in Unicode version 1.1 in 1993. It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script.
The glyph is not a composition. It has no designated width in East Asian texts. In bidirectional text it acts as Other Neutral. When changing direction it is mirrored into
The Wikipedia has the following information about this codepoint:
Linear logic is a substructural logic proposed by JeanYves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics (because linear logic can be seen as the logic of quantum information theory), as well as linguistics, particularly because of its emphasis on resourceboundedness, duality, and interaction.
Linear logic lends itself to many different presentations, explanations, and intuitions. Prooftheoretically, it derives from an analysis of classical sequent calculus in which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally, this means that logical deduction is no longer merely about an everexpanding collection of persistent "truths", but also a way of manipulating resources that cannot always be duplicated or thrown away at will. In terms of simple denotational models, linear logic may be seen as refining the interpretation of intuitionistic logic by replacing cartesian (closed) categories by symmetric monoidal (closed) categories, or the interpretation of classical logic by replacing Boolean algebras by C*algebras.
Representations
System  Representation 

Nº  8888 
UTF8  E2 8A B8 
UTF16  22 B8 
UTF32  00 00 22 B8 
URLQuoted  %E2%8A%B8 
HTML hex reference  ⊸ 
Wrong windows1252 Mojibake  âŠ¸ 
HTML named entity  ⊸ 
HTML named entity  ⊸ 
L^{A}T_{E}X  \multimap 
Related Characters
Elsewhere
Complete Record
Property  Value 

1.1 (1993)  
MULTIMAP  
—  
Mathematical Operators  
Math Symbol  
Common  
Other Neutral  
Not Reordered  
none  


✘  




✘  










✘  
✘  
✘  
✔  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  


Any  
✔  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
0  
0  
0  
✘  
None  
—  
NA  
Other  
—  
✘  
✘  
✔  
✘  
Yes  
Yes  


Yes  


Yes  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✘  
✔  
✘  
✘  
✘  
✘  
Other  
✘  
✘  
✘  
✘  
✘  
Other  
✘  
✘  
✘  
✘  
✘  
✘  
✘  




None  
neutral  
Not Applicable  
—  
No_Joining_Group  
Non Joining  
Alphabetic  
none  
not a number  


R 