Matematisk højre hvid firkantet parentes

Det lukker et matematisk eller semantisk afgrænsningstegn i par.

I Z-notation indrammer ⟦...⟧ en bag-visning. I formel semantik kan parret markere et udtryks denotation: den værdi eller fortolkning, der tillægges det. Uden for den pågældende notation har parentesformen ingen entydig betydning.

I modsætning til den brede højre slutparentes 〛 fra østasiatisk tegnsætning er ⟧ en smal matematisk form; de kan ikke bruges i stedet for hinanden i tekniske tekster.

Hvorfor bruger semantik ⟦ ⟧?

Parret kan markere den værdi, et udtryk betegner.

Konventionen med dobbelte parenteser udviklede sig fra arbejde med sandhedsværdier og fortolkning. I midten af 1960'erne beskrev Dana Scott overgangen fra streglignende tegn til mere læsbare dobbelte parenteser, efterhånden som formlerne blev længere. I slutningen af 1960'erne kom notationen ind i programmeringssprogssemantik og senere i naturlig sprogs semantik.

Historien forklarer den faglige brug: ⟦expression⟧ angiver, at udtrykket skal fortolkes inden for en bestemt teoretisk ramme; rammen fastlægger de præcise regler.