Vad betyder ⧹
Det döljer valda variabler utan att ta bort deras villkor. Z-notation är ett formellt sätt att beskriva programvara. Ett schema är en namngiven samling variabler och villkor. När namn döljs syns de inte längre, men specifikationen kräver fortfarande värden som uppfyller villkoren.
Z Base-standarden dokumenterar denna användning redan 1992.
Blanda inte ihop med
2
Mängdminus
Unicode hänvisar från ∖ till mängddifferens, där elementen i en mängd tas bort från en annan. I Z-notation döljer ⧹ särskilt angivna namn i ett schema.
Omvänt snedstreck
Det vanliga omvända snedstrecket är ett tangentbordstecken som används i filsökvägar och programmering. Den här matematiska symbolen har en särskild användning i Z-notation.
Relaterade tecken
1
Fler liknande
9
Så skriver eller hittar du ⧹
- Kallas också
- schemadöljning · xbsol
- Sök efter
- Z-notation · mängddifferens · matematiskt omvänt snedstreck
- Finns i
- Alla textfält · formen beror på teckensnittet
Windows (Word)
Windows
HTML
⧹CSS
\29F9LaTeX
Paketet
unicode-math kopplar \xbsol till ⧹.Koder och kodningKodpunkter: 1
HTML decimalt
⧹
HTML hexadecimalt
⧹
CSS-innehåll
content: "\29F9";
Varje escape-sekvens slutar vid nästa omvända snedstreck; ett blanksteg behövs före en bokstavlig hexadecimal siffra.
URL-kodat
%E2%A7%B9
1
På skärmen
1
Kodpunkter
1
JS .length
3
UTF-8-byte
En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.