Camiseta (símbolo)

Símbolo tipográfico parecido a una "T"

La tee ( ⊤ , \topen LaTeX ), también llamada tachuela descendente (a diferencia de la tachuela de arriba ) o verum , es un símbolo utilizado para representar:

• El elemento superior en la teoría de la red .
• El valor de verdad de ser verdadero en lógica , o una oración (por ejemplo, una fórmula en cálculo proposicional ) que es incondicionalmente verdadera. ^{[1] [2] [3]} Por definición, cada tautología es lógicamente equivalente al verum.
• El tipo superior en teoría de tipos .
• Codificación de base mixta en el lenguaje de programación APL .
• Una fonética rebajada en el Alfabeto Fonético Internacional y la fonética . En este uso, generalmente se escribe debajo del símbolo IPA principal.

Se puede utilizar un superíndice T de aspecto similar para indicar la transpuesta de una matriz.

Codificación

En Unicode , el carácter T está codificado como U+22A4 ⊤ DOWN TACK ( ⊤, ⊤ ). ^[4] El símbolo está codificado en LaTeX como .\top

Una variante grande está codificada como U+27D9 ⟙ LARGE DOWN TACK en el bloque Unicode Símbolos matemáticos varios-A .

Ver también

• Torniquete (⊢)
• Virada hacia arriba (⊥)
• Lista de símbolos lógicos
• Lista de símbolos matemáticos

Notas

1. "tautología | Definición y hechos". Enciclopedia Británica . Consultado el 14 de agosto de 2020 .
2. "Definición de TAUTOLOGÍA". www.merriam-webster.com . Consultado el 14 de agosto de 2020 .
3. Weisstein, Eric W. "Tautología". mathworld.wolfram.com . Consultado el 14 de agosto de 2020 .
4. "Operadores matemáticos - Unicode" (PDF) . Consultado el 20 de julio de 2013 .