Doubles crochets en LaTeX (\llbracket x \rrbracket)

Où il est utilisé

Encadre une expression de doubles crochets, pour la sémantique dénotationnelle ou les intervalles d’entiers.

Cette paire de crochets donne la fonction sémantique en sémantique formelle, \llbracket x \rrbracket_\rho pour la valeur de x dans l’environnement \rho, et l’intervalle discret \llbracket m, n \rrbracket en combinatoire. Elle apparaît aussi dans le crochet d’Iverson et dans la notation du saut pour les discontinuités en EDP numériques, \llbracket u \rrbracket = u^+ - u^-. Comme le glyphe n’est pas dans les polices par défaut, le source a besoin d’un paquet de symboles ; consultez la note sur les paquets de cette page. Les traits creux le distinguent visuellement de crochets ordinaires imbriqués.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Parenthèses\left( x \right)
• Double crochet droit\rrbracket
• Crochets\left[ x \right]
• Double crochet gauche\llbracket
• Accolades\left\{ x \right\}
• Norme\| x \|

Questions fréquentes

Comment écrire Doubles crochets en LaTeX ?

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

Quel paquet faut-il pour \llbracket x \rrbracket ?

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

Peut-on utiliser \llbracket x \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 $\llbracket x \rrbracket$.