⊸
Operador matemático 181
- Unicode
- U+22B8
- Categoria
- Matematica
- HTML Entity
- ⊸
- CSS
- \22B8
O símbolo ⊸ (conhecido como multimap ou mapeamento múltiplo) é um operador matemático usado principalmente na teoria dos conjuntos e na lógica linear. Na lógica linear, ele representa a implicação linear (frequentemente apelidado de 'lollipop' devido ao seu formato), indicando que um recurso é consumido de forma irreversível para produzir outro. Embora raro na digitação cotidiana, ele é fundamental em textos acadêmicos e provas formais de ciência da computação.
Como digitar
- Windows
- Alt + 8888
- macOS
- Control + Command + Espaço e pesquise por 'multimap'
- Linux
- Ctrl + Shift + U, seguido de 22B8 e Enter
- HTML
- ⊸
Em programacao
Em LaTeX, o símbolo é renderizado através do comando \multimap. Em linguagens de programação com sistemas de tipos estritos baseados em lógica linear, ele representa funções que consomem recursos de memória, muitas vezes substituído em texto puro pela notação '-o'.
Tags
multimapa
função
lógica linear
matemática