Doppia parentesi quadra destra in LaTeX (\rrbracket)

Dove si usa

Doppia parentesi quadra destra, che chiude la notazione delle parentesi semantiche o degli intervalli di interi.

Chiudete \llbracket con \rrbracket per scrivere \llbracket P \rrbracket_\sigma, il significato del programma P nello stato \sigma, o l'intervallo di interi \llbracket a, b \rrbracket. Non simulatela con ]] o con ]\!], che danno una forma e una spaziatura diverse dal glifo della parentesi cava. Gli autori che usano molte parentesi semantiche definiscono spesso una macro come \sem{e}, così che lo stile della parentesi si possa cambiare in un solo punto, per esempio passando a [\![ e ]\!] se il font con la doppia parentesi non è disponibile.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{stmaryrd}
\begin{document}
Double Bracket Right: $\rrbracket$

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

Simboli correlati

• Doppie parentesi quadre\llbracket x \rrbracket
• Doppia parentesi quadra sinistra\llbracket
• Parentesi tonde\left( x \right)
• Norma\| x \|
• Parentesi quadre\left[ x \right]
• Doppia barra verticale\|

Domande frequenti

Come si scrive Doppia parentesi quadra destra in LaTeX?

Scrivi \rrbracket in modalità matematica, per esempio $\llbracket x + y \rrbracket = \llbracket x \rrbracket + \llbracket y \rrbracket$. Carica prima stmaryrd con \usepackage{stmaryrd}.

Quale pacchetto serve per \rrbracket?

\rrbracket richiede stmaryrd: aggiungi \usepackage{stmaryrd} al preambolo prima dell'inizio del documento.

Posso usare \rrbracket in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\rrbracket$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ⟧ (con XeLaTeX o LuaLaTeX e un font che lo contenga).