Qué significa ⊣
Interpreta ⊣ según la notación que lo define.
En teoría de categorías, F ⊣ G indica que F es adjunto izquierdo de G, una relación formal entre dos construcciones. APL, un lenguaje de programación simbólico, usa ⊣ como función identidad por la izquierda: X ⊣ Y devuelve X, mientras que ⊣Y devuelve Y.
En lógica, ⊣ es el torniquete inverso; la relación exacta que marca depende del sistema.
La dirección cambia su función
La historia de la familia de los torniquetes comienza en la lógica formal. El libro de Frege de 1879, Begriffsschrift, un sistema de notación lógica, empleaba un signo de aserción formado por un trazo horizontal de contenido y uno vertical de juicio. Sistemas lógicos posteriores desarrollaron signos relacionados, como ⊢ y ⊨, para distinguir la derivación de la consecuencia semántica.
La historia de APL registra dos maneras distintas de nombrar la dirección del tack. Por eso, algunos nombres compuestos de APL no coinciden con las etiquetas izquierda/derecha de Unicode, aunque el signo dibujado no cambie.
Notación técnica: para interpretar ⊣ con seguridad hace falta la fórmula o el sistema al que pertenece.
No lo sustituyas por ⊢ o ⊨: cambiar el lado del trazo o añadir otra barra cambia el signo.
Qué significa cuando alguien te lo envía
Interpretaciones: 3No lo confundas con
3Preguntas frecuentes
1¿⊣ es lo mismo que ⊢?
No. Apuntan en direcciones opuestas y un sistema formal puede darles funciones distintas; intercambiarlos puede cambiar la afirmación.
Cómo escribir ⊣
⊣\22A3Có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.