Hva betyr ⨡
Den bevarer vilkårene fra begge skjemaene, men viser bare navnene fra det andre. Et Z-skjema samler navngitte variabler og vilkår; de deklarerte navnene utgjør signaturen.
I S ⨡ T må verdiene oppfylle begge skjemaene, men bare navnene i T forblir synlige. Skjuleskjema (S \ (x)) angir i stedet variabelen som skal skjules. En Oxford-rapport fra 1984 beskriver Z som et språk for å spesifisere datasystemer. ISO-standarden definerer projeksjon som en skjemaoperator; skrifttyper kan vise ⨡ ulikt eller mangle tegnet.
Slik skriver eller finner du ⨡
- Søk etter som
- zproject · Z-projeksjon · skjemaprojeksjon · projeksjon i Z-notasjon · LaTeX-kommandoen project
- Vises i
- Alle tekstfelt · formen avhenger av skrifttypen
⨡\2A21\project for ⨡.Koder og kodingKodepunkter: 1
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.



