Wat betekent ⧹
Het verbergt gekozen variabelen zonder hun beperkingen te schrappen. Z is een formele notatie om software te beschrijven. Een schema is een benoemde bundel variabelen en voorwaarden. Na het verbergen zijn bepaalde namen niet meer zichtbaar, maar de specificatie vereist nog steeds waarden die aan de voorwaarden voldoen.
De Z Base Standard documenteert dit gebruik al in 1992.
Niet verwarren met
2∖\
Setminus
Unicode verwijst bij ∖ naar het verschil van verzamelingen: daarmee verwijder je elementen van de ene verzameling uit de andere. In Z-notatie verbergt ⧹ specifiek benoemde delen van een schema.
Backslash
De gewone backslash is een toetsenbordteken voor bestandspaden en programmeren. Dit wiskundige teken heeft een aparte toepassing in Z-notatie.
Zo typ je ⧹
Windows (Word)
Alt+XTyp 29F9 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 “big reverse solidus”.
Linux
Ctrl+Shift+UTyp 29f9 en druk op Enter of Spatie.
HTML
⧹CSS
\29F9LaTeX
Het pakket `unicode-math` koppelt `\xbsol` aan ⧹.
Codes en coderingCodepunten: 1
HTML decimaal
⧹
HTML hexadecimaal
⧹
CSS-inhoud
content: "\29F9";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%A7%B9
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.