fsymbols
Laddar symboler…
››
⦉

Vänster bindningsparentes i Z-notation

Vänster bindningsparentes i Z-notation

10/128

⦉ är den öppnande bindningsparentesen i Z, ett matematiskt språk för att beskriva hur datorsystem ska fungera. Tillsammans med ⦊ omsluter den uppgifter om namngivna delar, till exempel deras typer. En bindning samlar namn och deras värden i en struktur.

Textsymbol

Vad betyder ⦉

Den inleder en beskrivning av namngivna delar i Z-notation.

Med Z kan man beskriva ett system exakt med hjälp av matematik. En bindning liknar en liten datapost med namngivna fält: varje namn pekar ut ett värde. En schematyp beskriver fältens namn och typer. Typen anger vilken sorts värde ett fält kan innehålla.

I ⦉x:X⦊ har delen med namnet x typen X. Uttrycket beskriver en typ och tilldelar inte x något bestämt värde. De två parenteserna omsluter hela beskrivningen.

Matematisk facknotation för formella beskrivningar av datorsystem.

Ingår i samlingarna

Blanda inte ihop med

1

Så skriver eller hittar du ⦉

Sök efter
Z-bindningsparentes · vänster bindningsparentes · lblot
Finns i
Alla textfält · formen beror på teckensnittet
Windows (Word)
⎇Alt+XSkriv 2989 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 left binding bracket”.
Linux
⎈Ctrl+⇧Shift+USkriv 2989 och tryck på Enter eller blanksteg.
HTML
⦉
CSS
\2989
Microsoft Word
Skriv 2989 och tryck sedan på AltX för att omvandla det till ⦉.
Z-sättning
En sättningsmiljö med stöd för Z kan tillhandahålla \lblot för den här öppningsparentesen.
Koder och kodningKodpunkter: 1
HTML decimalt
⦉
HTML hexadecimalt
⦉
CSS-innehåll
content: "\2989";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%A6%89
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