Corchete doble izquierdo en LaTeX (\llbracket)

Dónde se usa

Corchete recto doble (hueco) izquierdo, usado para corchetes semánticos, intervalos de enteros y la notación de Iverson.

En la semántica de lenguajes de programación, \llbracket e \rrbracket denota el significado de una expresión, como en la semántica denotacional. Los textos de tradición francesa y la combinatoria escriben \llbracket 1, n \rrbracket para el intervalo de enteros \{1, \dots, n\}, y algunos autores lo usan para el corchete de Iverson. El comando no está en el núcleo de LaTeX ni en las fuentes de símbolos de la AMS, así que necesita un paquete de símbolos que lo proporcione; KaTeX lo admite directamente. Solo crece con paquetes que ofrezcan versiones extensibles, así que para contenido alto comprueba tu configuración. Emparéjalo con \rrbracket.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo 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}

Símbolos relacionados

• Corchete doble derecho\rrbracket
• Norma\| x \|
• Corchetes dobles\llbracket x \rrbracket
• Doble barra vertical\|
• Paréntesis\left( x \right)
• Función suelo\lfloor x \rfloor

Preguntas frecuentes

¿Cómo escribo Corchete doble izquierdo en LaTeX?

Escribe \llbracket en modo matemático, por ejemplo $\llbracket 1, n \rrbracket = \{1, 2, \ldots, n\}$. Carga antes stmaryrd con \usepackage{stmaryrd}.

¿Qué paquete necesito para \llbracket?

\llbracket necesita stmaryrd: añade \usepackage{stmaryrd} al preámbulo antes de que empiece el documento.

¿Puedo usar \llbracket en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\llbracket$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⟦ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).