Hvad betyder ⟦
Det åbner et særligt par; notationen afgør, hvad det markerer. Betydningen af dobbeltklammen afhænger af fagområdet: I formel semantik står ⟦M⟧ for M’s denotation, det matematiske objekt eller den sandhedsværdi, der tildeles et sprogligt udtryk eller et program.
I 1960’erne gik Dana Scott fra dobbelte streger til klammer for at angive en formels sandhedsværdi, efterhånden som formlerne blev længere. Hans arbejde fra 1967 er et tidligt trykt eksempel på klammer brugt til denotation. Derfor bærer den semantiske notation Scotts navn.
Hvorfor betegner det samme par også en multmængde?
I Z-notation omslutter det en multmængde.
⟦B⟧ kan betegne en multmængde: en samling, hvor gentagne elementer bevares, og antallet af dem tæller. Det er en særskilt notationskonvention. Den aflæses af den omgivende Z-specifikation, ikke af klammerne alene.
En del af samlingerne
Hvad det betyder, når nogen sender det til dig
Fortolkninger: 2M’s denotation: objektet eller sandhedsværdien, der tildeles M.
Forveksl ikke med
1
Beslægtede tegn
3
Ofte stillede spørgsmål
1Hvorfor ser ⟦ for bred ud?
Den matematiske afgrænsning er beregnet til at være smal; CJK-typografi har separate brede modstykker. Hvis den vises bred, kan skrifttypen eller layoutet anvende CJK-afstand.
Flere som denne
15
〈Venstre vinkelparentes
〉Højre vinkelparentes
❱Kraftigt højrevendende vinkelparentesornament
❯Tungt højrevendt vinkelcitationstegnornament
⟅Venstre S-formet bag-afgrænser
⟆Højre S-formede afgrænser for multimængder
⸌Venstre hævet udeladelsesklamme
⟤Hvid firkant med venstrevendt markering
⟥Hvid firkant med højrevendt markering
⟧Matematisk højre hvid firkantet parentes
+Plustegn
<Mindre end-tegn
=Lighedstegn
>Større end-tegn
|Lodret stregSamlinger med ⟦
2
Sådan skriver eller finder du ⟦
- Også kaldet
- venstre dobbeltklamme · dobbelt firkantet klamme · Scott-klamme
- Søg efter som
- llbracket · dobbeltklamme · semantisk klamme · Z-klamme for multmængde · multmængdeklamme
- Vises i
- Alle tekstfelter · formen afhænger af skrifttypen
⟦\27E6stmaryrd indeholder \llbracket og \rrbracket; skriv dem omkring M.\[\![M]\!] i en Office-ligning for at danne det tilsvarende par dobbeltklammer.Koder og kodningKodepunkter: 1
Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.