Linke doppelte eckige Klammer in LaTeX (\llbracket)

Verwendung

Linke doppelte (hohle) eckige Klammer, verwendet für semantische Klammern, ganzzahlige Intervalle und die Iverson-Notation.

In der Semantik von Programmiersprachen bezeichnet \llbracket e \rrbracket die Bedeutung eines Ausdrucks, wie in der denotationellen Semantik. Texte der französischen Tradition und die Kombinatorik schreiben \llbracket 1, n \rrbracket für das ganzzahlige Intervall \{1, \dots, n\}, und manche Autoren verwenden sie für die Iverson-Klammer. Der Befehl ist weder im LaTeX-Kern noch in den AMS-Symbolschriften enthalten und benötigt daher ein Symbolpaket, das ihn bereitstellt; KaTeX unterstützt ihn direkt. Sie wächst nur mit Paketen, die dehnbare Versionen bereitstellen, prüfen Sie also bei hohem Inhalt Ihre Konfiguration. Verwenden Sie sie zusammen mit \rrbracket.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

\documentclass{article}
\usepackage{stmaryrd}
\begin{document}
Double Bracket Left: $\llbracket$

\[ \llbracket 1, n \rrbracket = \{1, 2, \ldots, n\} \]
\end{document}

Verwandte Symbole

• Rechte doppelte eckige Klammer\rrbracket
• Norm\| x \|
• Doppelte eckige Klammern\llbracket x \rrbracket
• Doppelter senkrechter Strich\|
• Runde Klammern\left( x \right)
• Abrundungsfunktion\lfloor x \rfloor

Häufige Fragen

Wie schreibe ich Linke doppelte eckige Klammer in LaTeX?

Schreiben Sie \llbracket im Mathematikmodus, zum Beispiel $\llbracket 1, n \rrbracket = \{1, 2, \ldots, n\}$. Laden Sie zuerst stmaryrd mit \usepackage{stmaryrd}.

Welches Paket brauche ich für \llbracket?

\llbracket benötigt stmaryrd: Fügen Sie \usepackage{stmaryrd} in die Präambel ein, bevor das Dokument beginnt.

Kann ich \llbracket im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\llbracket$. Wenn Sie nur das Zeichen im Text brauchen, fügen Sie stattdessen das Unicode-Zeichen ⟦ ein (mit XeLaTeX oder LuaLaTeX und einer Schrift, die es enthält).