Qué significa ⟝
Es un símbolo formal cuyo significado depende de la notación.
En lógica y teoría de tipos, el tack derecho largo pertenece a una familia de signos que pueden introducir un juicio: lo que se deduce de supuestos o reglas. La guía de notación de cada prueba o sistema define el papel exacto de ⟝.
La lista de nombres de Unicode relaciona ⟝ con el tack derecho más corto . Es una relación entre símbolos en el estándar, no una garantía de que sean intercambiables en toda notación.
Técnico y especializado; resulta extraño en un chat informal si los lectores no comparten esa notación.
La forma más larga no indica un énfasis universal.
No lo confundas con
1
Caracteres relacionados
1
Preguntas frecuentes
1¿Por qué ⟝ aparece como un recuadro o en blanco?
Puede ocurrir. Quizá la fuente seleccionada no tenga un glifo para ⟝; una fuente con cobertura de símbolos matemáticos puede mostrarlo.
Más símbolos similares
9
Cómo escribir o encontrar ⟝
- Búscalo como
- tack derecho · tack largo · torniquete lógico · símbolo de prueba · símbolo lógico · teoría de tipos · notación formal · símbolo tack
- Se puede usar en
- Cualquier campo de texto · su forma depende de la fuente
⟝\27DDCódigos y codificaciónPuntos de código: 1
Un símbolo visible puede contener varios puntos de código. JS .length cuenta unidades UTF-16; UTF-8 cuenta bytes.