Colchetes duplos em LaTeX (\llbracket x \rrbracket)

Onde é usado

Envolve uma expressão em colchetes duplos, para a semântica denotacional ou intervalos de inteiros.

Esse par de colchetes dá a função semântica na semântica formal, \llbracket x \rrbracket_\rho para o valor de x no ambiente \rho, e o intervalo discreto \llbracket m, n \rrbracket na combinatória. Também aparece no colchete de Iverson e na notação de salto para descontinuidades em métodos numéricos para EDPs, \llbracket u \rrbracket = u^+ - u^-. Como o glifo não está nas fontes padrão, o código-fonte precisa de um pacote de símbolos; veja a nota sobre pacotes nesta página. Os traços vazados o tornam visualmente distinto de colchetes comuns aninhados.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Parênteses\left( x \right)
• Colchete duplo direito\rrbracket
• Colchetes\left[ x \right]
• Colchete duplo esquerdo\llbracket
• Chaves\left\{ x \right\}
• Norma\| x \|

Perguntas frequentes

Como escrever Colchetes duplos em LaTeX?

Digite \llbracket x \rrbracket no modo matemático, por exemplo $\llbracket u \rrbracket = u^{+} - u^{-}$. Carregue antes stmaryrd com \usepackage{stmaryrd}.

Qual pacote é necessário para \llbracket x \rrbracket?

\llbracket x \rrbracket precisa de stmaryrd: adicione \usepackage{stmaryrd} ao preâmbulo antes do início do documento.

Posso usar \llbracket x \rrbracket no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\llbracket x \rrbracket$.