fsymbols
Cargando símbolos…
››
⟙

Tack descendente grande

Tack descendente grande

26/48

⟙ es el tack descendente grande, una versión mayor de , el símbolo «top» en forma de T de la lógica y las matemáticas. significa «verdadero» o el elemento máximo de una estructura ordenada; esta forma grande sirve para fórmulas en tamaño mayor. Parece una T mayúscula, pero es otro carácter.

Símbolo de texto

Qué significa ⟙

Significa lo mismo que , pero dibujado más grande.

El tack descendente , que se lee «top», tiene varios usos estándar. En lógica es verum, la proposición siempre verdadera. En la teoría del orden y de retículos, que estudia elementos ordenados de menor a mayor, marca el elemento máximo, el que está por encima de todos. En teoría de tipos y diseño de lenguajes de programación es el tipo superior, al que pertenece cualquier valor. Su pareja invertida , «bottom», significa falso o el elemento mínimo.

El nombre viene de la forma: una chincheta o tachuela que apunta hacia abajo, con la cabeza plana arriba. ⟙ y su espejo , el tack ascendente grande, están junto a otros operadores de tamaño grande para mostrar estos símbolos en fórmulas destacadas; el significado viene de y , no del tamaño.

Forma parte de las colecciones

No lo confundas con

3

Preguntas frecuentes

2

¿⟙ es lo mismo que ?

En significado, sí. ⟙ es la versión grande de para fórmulas destacadas; en texto normal usa .

¿Puedo usar ⟙ como letra T?

No. Solo se parece. Los buscadores y correctores lo tratan como símbolo matemático, así que las palabras escritas con él no se encuentran.

Cómo escribir o encontrar ⟙

También llamado
top grande · verum grande · símbolo de verdad grande
Búscalo como
T grande símbolo · símbolo top · verum · símbolo de verdad · bigtop · ⟙ LaTeX · elemento máximo
Se puede usar en
Cualquier campo de texto · su forma depende de la fuente
Windows (Word)
⎇Alt+XEscribe 27D9 y pulsa AltX para obtener ⟙.
Windows
⊞Win+REjecuta charmap o abre la pestaña de símbolos Ω con Win .
macOS
⌃Control+⌘Command+␣SpaceAbre el visor de caracteres y busca el símbolo.
Linux
⎈Ctrl+⇧Shift+UDespués escribe 27d9 y pulsa Enter o Espacio.
HTML
⟙
CSS
\27D9
LaTeX
Con el paquete unicode-math, escribe \bigtop. \top da el normal.
Windows
En Word, escribe 27D9 y pulsa AltX.
Mac / Linux
Mac: teclado Unicode Hex Input, mantén Opción y escribe 27D9. Linux: CtrlShiftU, 27D9, Intro.
Códigos y codificaciónPuntos de código: 1
HTML decimal
⟙
HTML hexadecimal
⟙
Contenido CSS
content: "\27D9";
Cada escape termina en la siguiente barra inversa; añade un espacio antes de un dígito hexadecimal literal.
Codificación URL
%E2%9F%99
1
En pantalla
1
Puntos de código
1
JS .length
3
Bytes UTF-8

Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.

Grupos de este símbolo

1

Matemáticas y números1835 símbolos