fsymbols
Laddar symboler…
››
⦇

Vänster bildklammer i Z-notation

Vänster bildklammer i Z-notation

⦇ inleder notation för relationsbild i Z. I R⦇S⦈ betecknar hela uttrycket de värden som relationen R kopplar till minst ett element i mängden S. Notationen används i formella specifikationer.

Textsymbol
Kallas också
bildklammer · klammer för relationsbilden · limg
Sök efter
relationsbild · bildoperator · klammer i Z-notation · R⦇S⦈
Finns i
Alla textfält · formen beror på teckensnittet

Vad betyder ⦇

Det inleder ett uttryck för relationsbild i Z-notation.

Z är ett matematiskt språk för att beskriva programvara och andra diskreta system exakt. I R⦇S⦈ kopplar relationen R samman värden och S är en mängd; uttrycket anger de värden som kopplas till minst ett element i S.

Jean-Raymond Abrials arbete med Z började i slutet av 1970-talet. Forskare i Oxford utvecklade notationen, som användes i industriprojekt under 1980-talet; senare kom den med i undervisning om formella metoder.

Mycket tekniskt: det signalerar en Z-specifikation eller relationsnotation i Z-stil.

Avsluta med ⦈, inte med en vanlig parentes.

Kombinationsidéer

1
Relationsbilden av S genom R: värden som kopplas till minst ett element i S.

Så skriver du ⦇

Windows (Word)
Alt+XSkriv 2987 och tryck på Alt+X 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 left image bracket”.
Linux
Ctrl+Shift+USkriv 2987 och tryck på Enter eller blanksteg.
HTML
⦇
CSS
\2987
Koder och kodningKodpunkter: 1
HTML decimalt
⦇
HTML hexadecimalt
⦇
CSS-innehåll
content: "\2987";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%A6%87
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