Colchete duplo direito em LaTeX (\rrbracket)

Onde é usado

Colchete duplo direito, que fecha a notação de colchete semântico ou de intervalo de inteiros.

Feche \llbracket com \rrbracket para escrever \llbracket P \rrbracket_\sigma, o significado do programa P no estado \sigma, ou o intervalo de inteiros \llbracket a, b \rrbracket. Não o imite com ]] ou com ]\!], que dão forma e espaçamento diferentes do glifo de colchete vazado. Autores com muitos colchetes semânticos costumam definir uma macro como \sem{e} para que o estilo do colchete possa ser alterado num só lugar, por exemplo trocando para [\![ e ]\!] se a fonte de colchetes duplos não estiver disponível.

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 Right: $\rrbracket$

\[ \llbracket x + y \rrbracket = \llbracket x \rrbracket + \llbracket y \rrbracket \]
\end{document}

Símbolos relacionados

• Colchetes duplos\llbracket x \rrbracket
• Colchete duplo esquerdo\llbracket
• Parênteses\left( x \right)
• Norma\| x \|
• Colchetes\left[ x \right]
• Barra vertical dupla\|

Perguntas frequentes

Como escrever Colchete duplo direito em LaTeX?

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

Qual pacote é necessário para \rrbracket?

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

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