Colchete duplo esquerdo em LaTeX (\llbracket)

Onde é usado

Colchete duplo (vazado) esquerdo, usado para colchetes semânticos, intervalos de inteiros e a notação de Iverson.

Na semântica de linguagens de programação, \llbracket e \rrbracket denota o significado de uma expressão, como na semântica denotacional. Textos de tradição francesa e a combinatória escrevem \llbracket 1, n \rrbracket para o intervalo de inteiros \{1, \dots, n\}, e alguns autores o usam para o colchete de Iverson. O comando não está no LaTeX básico nem nas fontes de símbolos da AMS, então requer um pacote de símbolos que o forneça; o KaTeX o suporta diretamente. Ele só cresce com pacotes que oferecem versões extensíveis, então, para conteúdo alto, verifique sua configuração. Combine-o com \rrbracket.

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 Bracket Left: $\llbracket$

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

Símbolos relacionados

• Colchete duplo direito\rrbracket
• Norma\| x \|
• Colchetes duplos\llbracket x \rrbracket
• Barra vertical dupla\|
• Parênteses\left( x \right)
• Função piso\lfloor x \rfloor

Perguntas frequentes

Como escrever Colchete duplo esquerdo em LaTeX?

Digite \llbracket no modo matemático, por exemplo $\llbracket 1, n \rrbracket = \{1, 2, \ldots, n\}$. Carregue antes stmaryrd com \usepackage{stmaryrd}.

Qual pacote é necessário para \llbracket?

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

Posso usar \llbracket 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$. Se você só precisa do glifo no texto, cole o caractere Unicode ⟦ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).