Mathematische rechte weiße eckige Klammer

Es schließt eine mathematische oder semantische Klammer aus zwei Zeichen.

In der Z-Notation schließt ⟦...⟧ eine Bag-Darstellung ein. In der formalen Semantik kann das Paar die Denotation eines Ausdrucks markieren: den Wert oder die Interpretation, die ihm zugeordnet wird. Außerhalb der jeweiligen Notation hat die Klammerform keine einheitliche Bedeutung.

Anders als die breite schließende Klammer 〛 in ostasiatischer Zeichensetzung ist ⟧ eine schmale mathematische Form; in Fachtexten sind beide nicht austauschbar.

Warum verwenden Semantiktexte ⟦ ⟧?

Das Paar kann den Wert markieren, den ein Ausdruck bezeichnet.

Die Konvention mit doppelten Klammern entwickelte sich aus der Arbeit mit Wahrheitswerten und Interpretation. Mitte der 1960er-Jahre beschrieb Dana Scott, wie längere Formeln den Wechsel von balkenartigen Zeichen zu lesbareren doppelten Klammern nahelegten. Ende der 1960er-Jahre kam die Notation in die Programmiersprachensemantik und später in die Semantik natürlicher Sprache.

Diese Geschichte erklärt den Fachcharakter: ⟦expression⟧ fordert dazu auf, den Ausdruck innerhalb eines bestimmten theoretischen Rahmens zu interpretieren; dieser Rahmen legt die genauen Regeln fest.