⊥
Perpendicular a
- Unicode
- U+22A5
- Categoría
- Matemáticas
- HTML Entity
- ⊥
- CSS
- \22A5
El símbolo ⊥, conocido técnicamente como "tachuela hacia arriba" o de perpendicularidad, es un clásico imprescindible en matemáticas y lógica. En geometría, se utiliza para indicar que dos líneas o planos son perpendiculares al formar un ángulo exacto de 90 grados. Además, en lógica matemática y ciencias de la computación, este carácter representa una contradicción, la falsedad absoluta (falsum) o el elemento mínimo (bottom) dentro de un sistema abstracto.
Cómo escribir
- Windows
- En Word: escribe 22A5 y pulsa Alt + X. En otras aplicaciones Windows no tiene un atajo estándar: cópialo desde esta página
- macOS
- Control + Command + Espacio y buscar "perpendicular"
- Linux
- Ctrl + Shift + U, luego 22A5
- HTML
- ⊥
En programación
En editores científicos y LaTeX, se genera con los comandos \perp (para geometría) o \bot (para lógica). En la teoría de tipos de programación, denota el tipo "bottom", el cual representa funciones o cálculos que nunca devuelven un valor o terminan en un error.
Etiquetas
falso
bottom
perpendicular
lógica
matemáticas