Qué significa ⩥
Comprueba el valor derecho de cada par. Para la relación R y el conjunto T, R ⩥ T elimina x ↦ y exactamente cuando y ∈ T; el valor de x no decide el resultado.
En el álgebra de relaciones de Z, ⩥ forma pareja con ⩤, la antirrestricción del dominio, que aplica la exclusión al valor izquierdo del par. Un analizador léxico de Z reconoce ambos como operadores. Una propuesta de Unicode fechada el 14 de marzo de 2000 (March 14, 2000) incluyó ⩥ entre los operadores matemáticos; eso marca un hito de codificación, no el inicio de la notación.
No lo confundas con
1Cómo escribir ⩥
⩥\2A65Có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.
