Левая двойная квадратная скобка в LaTeX (\llbracket)

Где используется

Левая двойная (полая) квадратная скобка; используется для семантических скобок, целочисленных отрезков и нотации Айверсона.

В семантике языков программирования \llbracket e \rrbracket обозначает значение выражения, как в денотационной семантике. Тексты французской традиции и комбинаторика пишут \llbracket 1, n \rrbracket для целочисленного отрезка \{1, \dots, n\}, а некоторые авторы используют её для скобки Айверсона. Команды нет ни в ядре LaTeX, ни в символьных шрифтах AMS, поэтому нужен предоставляющий её пакет символов; KaTeX поддерживает её напрямую. Растягивается она только с пакетами, предоставляющими растяжимые версии, поэтому для высокого содержимого проверьте свою конфигурацию. Ставьте её в пару с \rrbracket.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

\documentclass{article}
\usepackage{stmaryrd}
\begin{document}
Double Bracket Left: $\llbracket$

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

Похожие символы

• Правая двойная квадратная скобка\rrbracket
• Норма\| x \|
• Двойные квадратные скобки\llbracket x \rrbracket
• Двойная вертикальная черта\|
• Круглые скобки\left( x \right)
• Округление вниз (пол)\lfloor x \rfloor

Частые вопросы

Как написать «Левая двойная квадратная скобка» в LaTeX?

Наберите \llbracket в математическом режиме, например $\llbracket 1, n \rrbracket = \{1, 2, \ldots, n\}$. Сначала подключите stmaryrd: \usepackage{stmaryrd}.

Какой пакет нужен для \llbracket?

Для \llbracket нужен stmaryrd: добавьте \usepackage{stmaryrd} в преамбулу до начала документа.

Можно ли использовать \llbracket в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\llbracket$. Если нужен только сам знак в тексте, вставьте символ Unicode ⟦ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).