fsymbols
🔍
Symbolen laden…
››
⦇

Linker beeldhaak van de Z-notatie

Linker beeldhaak van de Z-notatie

⦇ opent de notatie voor het relationele beeld in Z. In R⦇S⦈ benoemt de volledige uitdrukking de waarden die relatie R verbindt met minstens één element van verzameling S. Je ziet deze notatie in formele specificaties.

Tekensymbool
Ook genoemd
beeldhaak · haak voor het relationele beeld · limg
Zoek als
relationeel beeld · beeldoperator · haak van de Z-notatie · R⦇S⦈
Komt voor in
Elk tekstveld · de vorm hangt af van je lettertype

Wat betekent ⦇

Het opent een uitdrukking voor het relationele beeld in de Z-notatie.

Z is een wiskundige taal om software en andere discrete systemen nauwkeurig te beschrijven. In R⦇S⦈ verbindt relatie R waarden met elkaar en is S een verzameling; de uitdrukking geeft de waarden die R met minstens één element van S verbindt.

Jean-Raymond Abrials werk aan Z begon aan het eind van de jaren zeventig. Onderzoekers in Oxford ontwikkelden de notatie verder en in de jaren tachtig werd ze in industrieprojecten gebruikt; later kwam ze ook in het onderwijs over formele methoden voor.

Zeer technisch: het wijst op een Z-specificatie of relationele notatie in Z-stijl.

Sluit af met ⦈, niet met een gewoon haakje.

Combinatie-ideeën

1
Het relationele beeld van S via R: waarden die met minstens één element van S zijn verbonden.

Zo typ je ⦇

Windows (Word)
Alt+XTyp 2987 en druk op Alt+X voor ⦇.
Windows
Win+RStart charmap voor de volledige tabel of gebruik het Ω-tabblad van de emojikiezer (Win + .).
macOS
Control+Command+SpaceOpen de tekenweergave en zoek naar “z notation left image bracket”.
Linux
Ctrl+Shift+UTyp 2987 en druk op Enter of Spatie.
HTML
⦇
CSS
\2987
Codes en coderingCodepunten: 1
HTML decimaal
⦇
HTML hexadecimaal
⦇
CSS-inhoud
content: "\2987";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%A6%87
1
Op het scherm
1
Codepunten
1
JS .length
3
UTF-8-bytes

Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.

Groepen van dit symbool

1

Wiskunde en getallen1.835 symbolen

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣