fsymbols
Caricamento dei simboli…
››
⩥

Antirestrizione dell’immagine in Z

Antirestrizione dell’immagine in Z

Nella notazione Z, ⩥ è l’operatore di antirestrizione dell’immagine: elimina le coppie di una relazione il cui valore a destra appartiene a un insieme escluso. In <code>R ⩥ T</code>, la coppia <code>x ↦ y</code> resta solo se <code>y</code> è fuori da <code>T</code>. Esclude così valori di uscita e conserva le altre coppie della relazione.

Simbolo testuale
Cercalo come
rsub · antirestrizione dell’immagine · notazione Z · antirestrizione del dominio · restrizione dell’immagine
Compare in
Qualsiasi campo di testo · la forma dipende dal carattere

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

1

Come digitare ⩥

Windows (Word)
Alt+XDigita 2A65, poi premi Alt+X per ottenere ⩥.
Windows
Win+REsegui charmap per la tabella completa o usa la scheda Ω del selettore emoji (Win + .).
macOS
Control+Command+SpaceApri il visore caratteri e cerca «z notation range antirestriction».
Linux
Ctrl+Shift+UDigita 2a65, poi premi Invio o Spazio.
HTML
&#x2A65;
CSS
\2A65
Come digitare ⩥
In un editor che accetta l’inserimento Unicode esadecimale, digita `2A65` e usa il comando documentato dall’editor; varia da un’applicazione all’altra.
Comando LaTeX di ⩥
Con Unicode-math e XCharter-Math, la tabella del font associa `\rsub` a ⩥.
Supporto dei font per ⩥
Il font matematico deve contenere questo glifo. Se compare un riquadro per un carattere mancante, scegli un font che lo includa.
Codici e codificaPunti di codice: 1
HTML decimale
&#10853;
HTML esadecimale
&#x2A65;
Contenuto CSS
content: "\2A65";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%A9%A5
1
Sullo schermo
1
Punti di codice
1
JS .length
3
Byte UTF-8

Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.

Gruppi di questo simbolo

1

Matematica e numeri1835 simboli