⊸
Operador matemático 181
- Unicode
- U+22B8
- Categoria
- Matematicas
- HTML Entity
- ⊸
- CSS
- \22B8
El símbolo ⊸ (conocido formalmente como multimapa) es un operador matemático famoso por su uso en la lógica lineal, donde a menudo se le llama cariñosamente «piruleta» o lollipop. Representa la implicación lineal, indicando que un recurso se consume totalmente para producir un resultado específico. Aunque su uso principal se da en matemáticas avanzadas e informática teórica, su diseño visual lo hace destacar dentro del bloque de operadores matemáticos de Unicode.
Como escribir
- Windows
- Escribe 22B8 y presiona Alt + X (en Word) o usa Win + . y busca en el panel de símbolos
- macOS
- Control + Command + Space y busca "multimap"
- Linux
- Ctrl + Shift + U, teclea 22b8 y presiona Enter
- HTML
- ⊸ o ⊸
En programacion
En ciencias de la computación y teoría de tipos, se utiliza para denotar sistemas de tipos lineales donde una función consume su argumento exactamente una vez. También aparece frecuentemente en documentación técnica sobre lógica lineal y teoría de categorías.
Etiquetas
implicación lineal
multimapa
lógica
matemáticas