Cosa significa ⩥
Controlla il valore a destra di ogni coppia. Per la relazione R e l’insieme T, R ⩥ T elimina x ↦ y esattamente quando y ∈ T; il valore di x non determina il risultato.
Nell’algebra delle relazioni di Z, ⩥ è abbinato a ⩤, l’antirestrizione del dominio, che applica l’esclusione al valore a sinistra della coppia. Un analizzatore lessicale per Z riconosce entrambi come operatori. Una proposta Unicode del 14 marzo 2000 (March 14, 2000) includeva ⩥ tra gli operatori matematici: è una tappa della codifica, non l’inizio della notazione.
Non confonderlo con
1Come digitare ⩥
⩥\2A65Codici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.
