fsymbols
Laddar symboler…
››
⨡

Schemprojektion i Z-notation

Schemprojektion i Z-notation

34/256

⨡ är schemaprojektionen i Z: den kombinerar villkoren från två scheman men behåller bara namnen i det andra. En formell specifikation kan då behålla sina villkor och visa färre variabler.

Textsymbol

Vad betyder ⨡

Den behåller villkoren från båda schemana men visar bara det andras namn. Ett Z-schema samlar namngivna variabler och villkor; de deklarerade namnen bildar dess signatur.

I S ⨡ T måste värdena uppfylla båda schemana, men bara T:s namn förblir synliga. Schemagömning (S \ (x)) anger i stället vilken variabel som ska döljas. En Oxfordrapport från 1984 beskriver Z som ett språk för att specificera datorsystem. ISO-standarden definierar projektion som en schemaoperator; teckensnitt kan visa ⨡ olika eller sakna tecknet.

Så skriver eller hittar du ⨡

Sök efter
zproject · Z-projektion · schemaprojektion · projektion i Z-notation · LaTeX-kommandot project
Finns i
Alla textfält · formen beror på teckensnittet
Windows (Word)
⎇Alt+XSkriv 2A21 och tryck på AltX för ⨡.
Windows
⊞Win+RKör charmap för hela tabellen eller använd Ω-fliken i emojiväljaren (Win .).
macOS
⌃Control+⌘Command+␣SpaceÖppna teckenvisaren och sök efter ”z notation schema projection”.
Linux
⎈Ctrl+⇧Shift+USkriv 2a21 och tryck på Enter eller blanksteg.
HTML
⨡
CSS
\2A21
Z LaTeX
LaTeX-markeringen i Community Z Tools använder \project för ⨡.
Koder och kodningKodpunkter: 1
HTML decimalt
⨡
HTML hexadecimalt
⨡
CSS-innehåll
content: "\2A21";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%A8%A1
1
På skärmen
1
Kodpunkter
1
JS .length
3
UTF-8-byte

En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.

Symbolens grupper

1

Matematik och tal1 835 symboler