Cosa significa ⨡
Conserva i vincoli di entrambi gli schemi, ma mostra solo i nomi del secondo. Uno schema Z raccoglie variabili con nome e condizioni; i nomi dichiarati ne formano la segnatura.
In S ⨡ T, le assegnazioni devono soddisfare entrambi gli schemi, ma restano visibili solo i nomi di T. Il nascondimento di schema (S \ (x)) indica invece quale variabile nascondere. Un rapporto di Oxford del 1984 descrive Z come un linguaggio per specificare sistemi informatici. Lo standard ISO definisce la proiezione come operatore di schema; i caratteri possono darle un aspetto diverso o non visualizzarla.
Caratteri correlati
2
E logico
In Z, la congiunzione di schemi combina schemi. La proiezione conserva i vincoli condivisi, ma mostra solo i nomi dello schema a destra.
Barra rovesciata
In Z, il nascondimento di schema oscura variabili con nome. Anche la proiezione restringe i nomi visibili, ma li prende dallo schema a destra.
Altro di simile
9
Come digitare o trovare ⨡
- Cercalo come
- zproject · proiezione Z · proiezione di schema · proiezione nella notazione Z · comando LaTeX project
- Compare in
- Qualsiasi campo di testo · la forma dipende dal carattere
Windows (Word)
Windows
HTML
⨡CSS
\2A21LaTeX Z
Il markup LaTeX di Community Z Tools usa
\project per ⨡.Codici e codificaPunti di codice: 1
HTML decimale
⨡
HTML esadecimale
⨡
Contenuto CSS
content: "\2A21";
Ogni escape termina alla barra inversa successiva; serve uno spazio prima di una cifra esadecimale letterale.
Codifica URL
%E2%A8%A1
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.