Double crochet droit en LaTeX (\rrbracket)

Où il est utilisé

Double crochet droit, qui ferme la notation de crochet sémantique ou d’intervalle d’entiers.

Fermez \llbracket par \rrbracket pour écrire \llbracket P \rrbracket_\sigma, le sens du programme P dans l’état \sigma, ou l’intervalle d’entiers \llbracket a, b \rrbracket. Ne l’imitez pas avec ]] ni avec ]\!], qui donnent une forme et un espacement différents de ceux du glyphe de crochet blanc. Les auteurs qui emploient beaucoup de crochets sémantiques définissent souvent une macro comme \sem{e} afin de pouvoir changer le style du crochet en un seul endroit, par exemple en passant à [\![ e ]\!] si la police de doubles crochets n’est pas disponible.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec 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}

Symboles associés

• Doubles crochets\llbracket x \rrbracket
• Double crochet gauche\llbracket
• Parenthèses\left( x \right)
• Norme\| x \|
• Crochets\left[ x \right]
• Double barre verticale\|

Questions fréquentes

Comment écrire Double crochet droit en LaTeX ?

Tapez \rrbracket en mode mathématique, par exemple $\llbracket x + y \rrbracket = \llbracket x \rrbracket + \llbracket y \rrbracket$. Chargez d’abord stmaryrd avec \usepackage{stmaryrd}.

Quel paquet faut-il pour \rrbracket ?

\rrbracket nécessite stmaryrd : ajoutez \usepackage{stmaryrd} au préambule avant le début du document.

Peut-on utiliser \rrbracket en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\rrbracket$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⟧ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).