Double crochet gauche en LaTeX (\llbracket)

Où il est utilisé

Double crochet (crochet blanc) gauche, utilisé pour les crochets sémantiques, les intervalles d’entiers et la notation d’Iverson.

En sémantique des langages de programmation, \llbracket e \rrbracket désigne le sens d’une expression, comme en sémantique dénotationnelle. Les ouvrages de tradition française et la combinatoire écrivent \llbracket 1, n \rrbracket pour l’intervalle d’entiers \{1, \dots, n\}, et certains auteurs l’utilisent pour le crochet d’Iverson. La commande ne fait partie ni du noyau de LaTeX ni des polices de symboles de l’AMS : il faut un paquet de symboles qui la fournisse ; KaTeX la prend en charge directement. Il ne s’agrandit qu’avec les paquets qui en fournissent des versions extensibles : pour un contenu haut, vérifiez votre configuration. Associez-le à \rrbracket.

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

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

Symboles associés

• Double crochet droit\rrbracket
• Norme\| x \|
• Doubles crochets\llbracket x \rrbracket
• Double barre verticale\|
• Parenthèses\left( x \right)
• Partie entière inférieure\lfloor x \rfloor

Questions fréquentes

Comment écrire Double crochet gauche en LaTeX ?

Tapez \llbracket en mode mathématique, par exemple $\llbracket 1, n \rrbracket = \{1, 2, \ldots, n\}$. Chargez d’abord stmaryrd avec \usepackage{stmaryrd}.

Quel paquet faut-il pour \llbracket ?

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

Peut-on utiliser \llbracket 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$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⟦ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).