fsymbols
Laster symboler…
››
⨡

Skjemaprojeksjon i Z-notasjon

Skjemaprojeksjon i Z-notasjon

34/256

⨡ er skjemaprojeksjonen i Z: Den kombinerer vilkårene fra to skjemaer, men beholder bare navnene fra det andre. En formell spesifikasjon kan dermed bevare begrensningene og vise færre variabler.

Tekstsymbol

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
Windows (Word)
⎇Alt+XSkriv 2A21, og trykk AltX for å få ⨡.
Windows
⊞Win+RKjør charmap for hele tabellen, eller bruk Ω-fanen i emojivelgeren (Win .).
macOS
⌃Control+⌘Command+␣SpaceÅpne tegnviseren og søk etter «z notation schema projection».
Linux
⎈Ctrl+⇧Shift+USkriv 2a21, og trykk Enter eller mellomrom.
HTML
⨡
CSS
\2A21
Z LaTeX
LaTeX-markeringen i Community Z Tools bruker \project for ⨡.
Koder og kodingKodepunkter: 1
HTML desimal
⨡
HTML heksadesimal
⨡
CSS-innhold
content: "\2A21";
Hver escape-sekvens slutter ved neste omvendte skråstrek; et mellomrom trengs før et bokstavelig heksadesimalt siffer.
URL-kodet
%E2%A8%A1
1
På skjermen
1
Kodepunkter
1
JS .length
3
UTF-8-byte

Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.

Symbolets grupper

1

Matematikk og tall1 835 symboler