⊤
Operador matemático 161
- Unicode
- U+22A4
- Categoria
- Matematicas
- 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.
Como escribir
- Windows
- Alt+8868
- macOS
- Control+Command+Space y buscar "down tack"
- Linux
- Ctrl+Shift+U y luego 22A4
- HTML
- ⊤ o ⊤
En programacion
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