Hva betyr ⧹
Det skjuler valgte variabler uten å fjerne begrensningene deres. Z-notasjon er en formell måte å beskrive programvare på. Et skjema er en navngitt samling variabler og vilkår. Når variabler skjules, blir navnene usynlige, men spesifikasjonen krever fortsatt verdier som oppfyller vilkårene.
Z Base-standarden dokumenterer denne bruken allerede i 1992.
Ikke forveksle med
2∖\
Mengdedifferanse
Unicode viser til mengdedifferanse for ∖: elementer fra én mengde fjernes fra en annen. I Z-notasjon skjuler ⧹ bestemte navn i et skjema.
Omvendt skråstrek
Den vanlige omvendte skråstreken er et tastaturtegn som brukes i filbaner og programmering. Dette matematiske symbolet har en egen funksjon i Z-notasjon.
Slik skriver du ⧹
Windows (Word)
Alt+XSkriv 29F9, og trykk Alt+X for å få ⧹.
Windows
Win+RKjør charmap for hele tabellen, eller bruk Ω-fanen i emojivelgeren (Win + .).
macOS
Control+Command+SpaceÅpne tegnviseren og søk etter «big reverse solidus».
Linux
Ctrl+Shift+USkriv 29f9, og trykk Enter eller mellomrom.
HTML
⧹CSS
\29F9LaTeX
Pakken `unicode-math` kobler `\xbsol` til ⧹.
Koder og kodingKodepunkter: 1
HTML desimal
⧹
HTML heksadesimal
⧹
CSS-innhold
content: "\29F9";
Hver escape-sekvens slutter ved neste omvendte skråstrek; et mellomrom trengs før et bokstavelig heksadesimalt siffer.
URL-kodet
%E2%A7%B9
1
På skjermen
1
Kodepunkter
1
JS .length
3
UTF-8-byte
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.
