Doppia parentesi quadra sinistra in LaTeX (\llbracket)

Dove si usa

Doppia parentesi quadra (cava) sinistra, usata per le parentesi semantiche, gli intervalli di interi e la notazione di Iverson.

Nella semantica dei linguaggi di programmazione \llbracket e \rrbracket indica il significato di un'espressione, come nella semantica denotazionale. I testi di tradizione francese e la combinatoria scrivono \llbracket 1, n \rrbracket per l'intervallo di interi \{1, \dots, n\}, e alcuni autori la usano per la parentesi di Iverson. Il comando non fa parte del nucleo di LaTeX né dei font di simboli AMS, quindi richiede un pacchetto di simboli che lo fornisca; KaTeX lo supporta direttamente. Cresce solo con pacchetti che ne forniscono versioni estensibili, quindi per contenuti alti verificate la vostra configurazione. Accoppiatela con \rrbracket.

Esempio minimo compilabile

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

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

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

Simboli correlati

• Doppia parentesi quadra destra\rrbracket
• Norma\| x \|
• Doppie parentesi quadre\llbracket x \rrbracket
• Doppia barra verticale\|
• Parentesi tonde\left( x \right)
• Parte intera inferiore\lfloor x \rfloor

Domande frequenti

Come si scrive Doppia parentesi quadra sinistra in LaTeX?

Scrivi \llbracket in modalità matematica, per esempio $\llbracket 1, n \rrbracket = \{1, 2, \ldots, n\}$. Carica prima stmaryrd con \usepackage{stmaryrd}.

Quale pacchetto serve per \llbracket?

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

Posso usare \llbracket 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$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ⟦ (con XeLaTeX o LuaLaTeX e un font che lo contenga).