Wat betekent ⨡
Het behoudt de voorwaarden van beide schema’s, maar toont alleen de namen van het tweede. Een Z-schema groepeert benoemde variabelen en voorwaarden; de gedeclareerde namen vormen de signatuur.
Bij S ⨡ T moeten bindings aan beide schema’s voldoen, maar alleen de namen van T blijven zichtbaar. Schema-verberging (S \ (x)) noemt juist de variabele die verborgen wordt. Een Oxford-rapport uit 1984 beschrijft Z als een taal voor het specificeren van computersystemen. De ISO-standaard definieert projectie als schema-operator; lettertypen kunnen ⨡ anders weergeven of niet ondersteunen.
Zo typ je ⨡
Windows (Word)
Alt+XTyp 2A21 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 schema projection”.
Linux
Ctrl+Shift+UTyp 2a21 en druk op Enter of Spatie.
HTML
⨡CSS
\2A21Z-LaTeX
De LaTeX-opmaak van Community Z Tools gebruikt `\project` voor ⨡.
Codes en coderingCodepunten: 1
HTML decimaal
⨡
HTML hexadecimaal
⨡
CSS-inhoud
content: "\2A21";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%A8%A1
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.