Rechte doppelte eckige Klammer in LaTeX (\rrbracket)

Verwendung

Rechte doppelte eckige Klammer, die die Notation semantischer Klammern oder ganzzahliger Intervalle schließt.

Schließen Sie \llbracket mit \rrbracket, um \llbracket P \rrbracket_\sigma zu schreiben, die Bedeutung des Programms P im Zustand \sigma, oder den ganzzahligen Bereich \llbracket a, b \rrbracket. Imitieren Sie sie nicht mit ]] oder mit ]\!], die eine andere Form und andere Abstände ergeben als das hohle Klammerzeichen. Autoren mit vielen semantischen Klammern definieren oft ein Makro wie \sem{e}, damit sich der Klammerstil an einer Stelle ändern lässt, etwa durch Umstellen auf [\![ e ]\!], falls die Schrift mit der doppelten Klammer nicht verfügbar ist.

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 Right: $\rrbracket$

\[ \llbracket x + y \rrbracket = \llbracket x \rrbracket + \llbracket y \rrbracket \]
\end{document}

Verwandte Symbole

• Doppelte eckige Klammern\llbracket x \rrbracket
• Linke doppelte eckige Klammer\llbracket
• Runde Klammern\left( x \right)
• Norm\| x \|
• Eckige Klammern\left[ x \right]
• Doppelter senkrechter Strich\|

Häufige Fragen

Wie schreibe ich Rechte doppelte eckige Klammer in LaTeX?

Schreiben Sie \rrbracket im Mathematikmodus, zum Beispiel $\llbracket x + y \rrbracket = \llbracket x \rrbracket + \llbracket y \rrbracket$. Laden Sie zuerst stmaryrd mit \usepackage{stmaryrd}.

Welches Paket brauche ich für \rrbracket?

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

Kann ich \rrbracket 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 $\rrbracket$. 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).