⊸
Mathematischer Operator 181
- Unicode
- U+22B8
- Kategorie
- Mathematik
- HTML Entity
- ⊸
- CSS
- \22B8
Das Symbol ⊸ (Multimap) stammt aus der Mathematik und steht für eine mehrwertige Funktion, bei der ein Eingabewert mehreren Ausgabewerten zugeordnet werden kann. In der linearen Logik ist das Zeichen unter dem charmanten Spitznamen „Lollipop“ bekannt und repräsentiert die lineare Implikation. Da es ein sehr spezifisches Fachzeichen ist, begegnet es dir hauptsächlich in akademischen Texten, formaler Logik und der theoretischen Informatik.
So tippen Sie
- Windows
- Alt+8888 (Ziffernblock) oder im Word-Dokument 22B8 tippen und Alt+C drücken
- macOS
- Control+Command+Space und Suche nach 'multimap'
- Linux
- Strg+Umschalt+U, dann 22b8 tippen und Leertaste drücken
- HTML
- ⊸ oder ⊸
In der Programmierung
In Textsatzsystemen wie LaTeX wird das Symbol mit dem Befehl '\multimap' erzeugt. In funktionalen Programmiersprachen und Beweisassistenten taucht es manchmal auf, um lineare Typen zu definieren.
Tags
mathematik
lineare logik
mehrfachabbildung
pfeil
operator