Doppie parentesi quadre in LaTeX (\llbracket x \rrbracket)

Dove si usa

Racchiude un'espressione tra doppie parentesi quadre, per la semantica denotazionale o gli intervalli di interi.

Questa coppia di parentesi dà la funzione semantica nella semantica formale, \llbracket x \rrbracket_\rho per il valore di x nell'ambiente \rho, e l'intervallo discreto \llbracket m, n \rrbracket in combinatoria. Compare anche nella parentesi di Iverson e nella notazione del salto per le discontinuità nelle EDP numeriche, \llbracket u \rrbracket = u^+ - u^-. Poiché il glifo non è nei font predefiniti, il sorgente richiede un pacchetto di simboli; consultate la nota sui pacchetti in questa pagina. I tratti cavi la rendono visivamente distinta da parentesi ordinarie annidate.

Esempio minimo compilabile

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

\documentclass{article}
\usepackage{stmaryrd}
\begin{document}
Double Brackets: $\llbracket x \rrbracket$

\[ \llbracket u \rrbracket = u^{+} - u^{-} \]
\end{document}

Simboli correlati

• Parentesi tonde\left( x \right)
• Doppia parentesi quadra destra\rrbracket
• Parentesi quadre\left[ x \right]
• Doppia parentesi quadra sinistra\llbracket
• Parentesi graffe\left\{ x \right\}
• Norma\| x \|

Domande frequenti

Come si scrive Doppie parentesi quadre in LaTeX?

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

Quale pacchetto serve per \llbracket x \rrbracket?

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

Posso usare \llbracket x \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 $\llbracket x \rrbracket$.