Qué significa ⫝̸
Marca una relación de dependencia: los elementos no son independientes.
En teoría de modelos, la bifurcación describe una dependencia precisa entre objetos matemáticos o sus tipos: conjuntos de enunciados sobre el comportamiento posible de un objeto. S. Shelah introdujo esta noción.
Unicode asigna ⫝̸ a la lógica ecuacional (razonamiento sobre ecuaciones) y lo define como «no independiente».
¿Por qué ⫝̸ parece lo contrario de ⫝?
La pareja contraintuitiva se comprobó y se mantuvo.
En 2001, una observación sobre la norma señaló que ⫝̸ y ⫝ parecían estar intercambiados. Los editores mantuvieron la pareja después de que los matemáticos colaboradores confirmaran la asignación.
Unicode descompone canónicamente ⫝̸ como ⫝̸: ⫝ seguido de una barra combinante. La normalización puede mostrar la secuencia en dos partes, aunque representa un solo carácter.
No lo confundas con
1Cómo escribir ⫝̸
⫝̸\2ADCCó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.