fsymbols
Indlæser symboler…
››
⦇

Venstre billedklamme i Z-notation

Venstre billedklamme i Z-notation

⦇ åbner notationen for relationsbilledet i Z. I R⦇S⦈ betegner hele udtrykket de værdier, som relationen R forbinder med mindst ét element i mængden S. Notationen bruges i formelle specifikationer.

Tekstsymbol
Også kaldet
billedklamme · klamme for relationsbilledet · limg
Søg efter som
relationsbillede · billedoperator · klamme i Z-notation · R⦇S⦈
Vises i
Alle tekstfelter · formen afhænger af skrifttypen

Hvad betyder ⦇

Det åbner et udtryk for relationsbilledet i Z-notation.

Z er et matematisk sprog til præcist at beskrive software og andre diskrete systemer. I R⦇S⦈ forbinder relationen R værdier, og S er en mængde; udtrykket angiver de værdier, der forbindes med mindst ét element i S.

Jean-Raymond Abrials arbejde med Z begyndte i slutningen af 1970’erne. Forskere i Oxford udviklede notationen, og den blev brugt i industriprojekter i 1980’erne; senere kom den med i undervisning i formelle metoder.

Meget teknisk: det peger på en Z-specifikation eller relationsnotation i Z-stil.

Luk med ⦈, ikke en almindelig parentes.

Kombinationsidéer

1
Relationsbilledet af S gennem R: værdier, der forbindes med mindst ét element i S.

Sådan skriver du ⦇

Windows (Word)
Alt+XSkriv 2987, og tryk på Alt+X for at få ⦇.
Windows
Win+RKør charmap for hele tabellen, eller brug Ω-fanen i emojivælgeren (Win + .).
macOS
Control+Command+SpaceÅbn tegnfremviseren, og søg efter ”z notation left image bracket”.
Linux
Ctrl+Shift+USkriv 2987, og tryk på Enter eller mellemrum.
HTML
⦇
CSS
\2987
Koder og kodningKodepunkter: 1
HTML decimal
⦇
HTML hexadecimal
⦇
CSS-indhold
content: "\2987";
Hver escape-sekvens slutter ved næste omvendte skråstreg; der skal være et mellemrum før et bogstaveligt hexadecimalt ciffer.
URL-kodet
%E2%A6%87
1
På skærmen
1
Kodepunkter
1
JS .length
3
UTF-8-byte

Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.

Symbolets grupper

1

Matematik og tal1.835 symboler