Subir el timón

" Up tack " es el nombre Unicode para un símbolo ( ⊥ , \boten LaTeX , U+22A5 en Unicode ^{[ 1 ]} ) que también se llama " bottom ", ^{[ 2 ] [ 3 ]} " falsum ", ^{[ 4 ]} " absurdum ", ^{[ 5 ]} o " absurdity ", ^{[ 6 ] [ 7 ] [ 3 ]} dependiendo del contexto. Se utiliza para representar:

• El valor de verdad «falso» , o una constante lógica que denota una proposición en lógica que siempre es falsa. (Los nombres «falsum», «absurdum» y «absurdity» provienen de este contexto).
• El elemento inferior en la teoría de la rueda y la teoría de la red , que también representa el absurdo cuando se utiliza para la semántica lógica.
• El tipo inferior en la teoría de tipos , que es el elemento inferior en la relación de subtipo. Esto puede coincidir con el tipo vacío , que representa el absurdo bajo la correspondencia de Curry-Howard.
• El "valor indefinido" en las interpretaciones de la física cuántica que rechazan la definitividad contrafactual , como en ( r ₀ ,⊥)

así como

• Decodificación de base mixta en el lenguaje de programación APL

El glifo de la chincheta hacia arriba aparece como un símbolo de tee invertido , y como tal a veces se le llama eet (la palabra "tee" al revés). ^{[ 8 ] [ 9 ]} Tee juega un papel complementario o dual en muchas de estas teorías.

El símbolo perpendicular de aspecto similar ( ⟂ , \perpen LaTeX, U+27C2 en Unicode) es un símbolo de relación binaria que se utiliza para representar:

• Perpendicularidad de las líneas en geometría
• Ortogonalidad en álgebra lineal
• Independencia de las variables aleatorias en la teoría de la probabilidad.
• Coprimalidad en la teoría de números

Históricamente, en conjuntos de caracteres anteriores a Unicode 4.1 (marzo de 2005), como Unicode 4.0 ^{[ 10 ]} y JIS X 0213, el símbolo perpendicular se codificaba con el mismo punto de código que el símbolo de arriba, específicamente U+22A5 en Unicode 4.0. ^{[ 11 ]} Esta superposición se refleja en el hecho de que ambas entidades HTML ⊥y ⊥se refieren al mismo punto de código U+22A5, como se muestra en la lista de entidades HTML . En marzo de 2005, Unicode 4.1 introdujo el símbolo distinto "⟂" (U+27C2 "PERPENDICULAR") con una referencia a ⊥ (U+22A5 "UP TACK") y una nota que indica que "se formatea con espaciado adicional". ^{[ 12 ]}

El símbolo de doble chincheta ( ⫫ , U+2AEB en Unicode ^{[ 1 ]} ) es un símbolo de relación binaria que se utiliza para representar:

• Independencia condicional de variables aleatorias en la teoría de la probabilidad ^{[ 13 ]}

• Signo de suma alternativo
• Contradicción
• Lista de símbolos matemáticos
• Camiseta (símbolo) (⊤)