fsymbols
Laster symboler…
››
⦇

Venstre bildeklamme i Z-notasjon

Venstre bildeklamme i Z-notasjon

8/128

⦇ åpner notasjonen for relasjonsbildet i Z. I R⦇S⦈ angir hele uttrykket verdiene som relasjonen R knytter til minst ett element i mengden S. Notasjonen brukes i formelle spesifikasjoner.

Tekstsymbol

Hva betyr ⦇

Det åpner et uttrykk for relasjonsbildet i Z-notasjon.

Z er et matematisk språk for å beskrive programvare og andre diskrete systemer presist. I R⦇S⦈ knytter relasjonen R verdier sammen, og S er en mengde; uttrykket angir verdiene som knyttes til minst ett element i S.

Jean-Raymond Abrials arbeid med Z begynte på slutten av 1970-tallet. Forskere i Oxford utviklet notasjonen, og den ble brukt i industriprosjekter på 1980-tallet; senere ble den tatt med i undervisning i formelle metoder.

Svært teknisk: det viser til en Z-spesifikasjon eller relasjonsnotasjon i Z-stil.

Lukk med ⦈, ikke en vanlig parentes.

Kombinasjonsideer

1
Relasjonsbildet av S gjennom R: verdier som knyttes til minst ett element i S.

Slik skriver eller finner du ⦇

Også kalt
bildeklamme · klamme for relasjonsbildet · limg
Søk etter som
relasjonsbilde · bildeoperator · klamme i Z-notasjon · R⦇S⦈
Vises i
Alle tekstfelt · formen avhenger av skrifttypen
Windows (Word)
⎇Alt+XSkriv 2987, 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 left image bracket».
Linux
⎈Ctrl+⇧Shift+USkriv 2987, og trykk Enter eller mellomrom.
HTML
⦇
CSS
\2987
Koder og kodingKodepunkter: 1
HTML desimal
⦇
HTML heksadesimal
⦇
CSS-innhold
content: "\2987";
Hver escape-sekvens slutter ved neste omvendte skråstrek; et mellomrom trengs før et bokstavelig heksadesimalt siffer.
URL-kodet
%E2%A6%87
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