⊸
Multiaplicación
- Unicode
- U+22B8
- Categoría
- Matemáticas
- 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.
Cómo escribir
- Windows
- En Word: escribe 22B8 y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- macOS
- Control + Command + Space y busca "multimap"
- Linux
- Ctrl + Shift + U, teclea 22b8 y presiona Enter
- HTML
- ⊸ o ⊸
En programación
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