fsymbols
Laddar symboler…
››
⦊

Höger bindningsparentes i Z-notation

Höger bindningsparentes i Z-notation

11/128

⦊ avslutar en bindning i Z-notation, ett matematiskt språk för att specificera programvara och andra system. Betydelsen beror på det formella uttryck där tecknet står.

Textsymbol

Vad betyder ⦊

Det avslutar en Z-bindning. En bindning samlar namngivna delar med tillhörande värden eller deklarationer i ett strukturerat objekt.

Den motsvarande öppnande symbolen är ⦉; tillsammans visar de var objektet börjar och slutar i ett formellt uttryck.

När utvecklades Z-notation?

Under 1970- och 1980-talen. Z-notation växte fram ur mängdläran, matematiken om samlingar, och predikatlogiken, som handlar om påståenden om objekt. Den blev ett formellt sätt att specificera programvara och andra diskreta system.

Mycket tekniskt; passar i Z-specifikationer och matematisk sättning.

Utanför ett Z-uttryck kan tecknet misstas för en vanlig högerparentes.

Blanda inte ihop med

1

Så skriver eller hittar du ⦊

Sök efter
Z-notation · bindningsparentes · Z-bindning · formell specifikation
Finns i
Alla textfält · formen beror på teckensnittet
Windows (Word)
⎇Alt+XSkriv 298A 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 right binding bracket”.
Linux
⎈Ctrl+⇧Shift+USkriv 298a och tryck på Enter eller blanksteg.
HTML
⦊
CSS
\298A
Koder och kodningKodpunkter: 1
HTML decimalt
⦊
HTML hexadecimalt
⦊
CSS-innehåll
content: "\298A";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%A6%8A
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