Corchetes dobles en LaTeX (\llbracket x \rrbracket)

Dónde se usa

Envuelve una expresión entre corchetes rectos dobles, para la semántica denotacional o intervalos de enteros.

Esta pareja de corchetes da la función semántica en semántica formal, \llbracket x \rrbracket_\rho para el valor de x en el entorno \rho, y el intervalo discreto \llbracket m, n \rrbracket en combinatoria. También aparece en el corchete de Iverson y en la notación de salto para discontinuidades en EDP numéricas, \llbracket u \rrbracket = u^+ - u^-. Como el glifo no está en las fuentes predeterminadas, el código necesita un paquete de símbolos; consulta la nota sobre paquetes de esta página. Los trazos huecos lo distinguen visualmente de los corchetes ordinarios anidados.

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 Brackets: $\llbracket x \rrbracket$

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

Símbolos relacionados

• Paréntesis\left( x \right)
• Corchete doble derecho\rrbracket
• Corchetes\left[ x \right]
• Corchete doble izquierdo\llbracket
• Llaves\left\{ x \right\}
• Norma\| x \|

Preguntas frecuentes

¿Cómo escribo Corchetes dobles en LaTeX?

Escribe \llbracket x \rrbracket en modo matemático, por ejemplo $\llbracket u \rrbracket = u^{+} - u^{-}$. Carga antes stmaryrd con \usepackage{stmaryrd}.

¿Qué paquete necesito para \llbracket x \rrbracket?

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

¿Puedo usar \llbracket x \rrbracket 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 x \rrbracket$.