⊤
Tautología
- Unicode
- U+22A4
- Categoría
- Matemáticas
- HTML Entity
- ⊤
- CSS
- \22A4
El símbolo ⊤, conocido como "top", tachuela hacia abajo o tautología, se utiliza en lógica matemática para representar la verdad absoluta o el elemento máximo de un conjunto. Su diseño es similar a una letra "T" mayúscula, lo que facilita su asociación con la palabra "True" (verdadero) en sistemas formales. Aunque no se usa en redes sociales, es una pieza fundamental en apuntes académicos, informática teórica y filosofía.
Cómo escribir
- Windows
- En Word: escribe 22A4 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 buscar "down tack"
- Linux
- Ctrl+Shift+U y luego 22A4
- HTML
- ⊤ o ⊤
En programación
En teoría de tipos e informática teórica, este símbolo representa el "tipo top" (un tipo universal que contiene todos los valores posibles). En entornos de redacción matemática y científica como LaTeX, se inserta utilizando el comando \top.
Etiquetas
verdadero
top
tautología
lógica
matemáticas