fsymbols
Ładowanie symboli…
››
⦊

Prawy nawias wiązania w notacji Z

Prawy nawias wiązania w notacji Z

⦊ zamyka wiązanie w notacji Z, matematycznym języku do formalnego opisu oprogramowania i innych systemów. Jego znaczenie wynika z wyrażenia formalnego, w którym występuje.

Symbol tekstowy
Szukaj jako
notacja Z · nawias wiązania · wiązanie Z · specyfikacja formalna
Pojawia się w
Każde pole tekstowe · kształt zależy od czcionki

Co oznacza ⦊

Zamyka wiązanie w notacji Z. Wiązanie łączy nazwane składniki z przypisanymi im wartościami lub deklaracjami w jeden uporządkowany obiekt.

Odpowiadającym mu znakiem otwierającym jest ⦉; razem wskazują początek i koniec tego obiektu w wyrażeniu formalnym.

Kiedy rozwinęła się notacja Z?

W latach 70. i 80. XX wieku. Notacja Z wyrosła z teorii mnogości, czyli matematyki zbiorów, oraz logiki predykatów, która bada zdania o obiektach. Stała się formalną metodą specyfikowania oprogramowania i innych systemów dyskretnych.

Znak specjalistyczny; odpowiedni do specyfikacji Z i składu matematycznego.

Poza wyrażeniem Z można go wziąć za zwykły prawy nawias.

Nie myl z

1

Jak wpisać ⦊

Windows (Word)
Alt+XWpisz 298A, a następnie naciśnij Alt+X, aby uzyskać ⦊.
Windows
Win+RUruchom charmap, aby zobaczyć pełną tabelę, lub użyj karty Ω panelu emoji (Win + .).
macOS
Control+Command+SpaceOtwórz podgląd znaków i wyszukaj „z notation right binding bracket”.
Linux
Ctrl+Shift+UWpisz 298a, a następnie naciśnij Enter lub Spację.
HTML
⦊
CSS
\298A
Kody i kodowaniePunkty kodowe: 1
HTML dziesiętnie
⦊
HTML szesnastkowo
⦊
Treść CSS
content: "\298A";
Sekwencja ucieczki kończy się przy następnym ukośniku odwrotnym; przed dosłowną cyfrą szesnastkową potrzebna jest spacja.
Kodowanie URL
%E2%A6%8A
1
Na ekranie
1
Punkty kodowe
1
JS .length
3
Bajty UTF-8

Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.

Grupy tego symbolu

1

Matematyka i liczbyLiczba symboli: 1835