Двойные квадратные скобки в LaTeX (\llbracket x \rrbracket)

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

Заключает выражение в двойные квадратные скобки — для денотационной семантики или целочисленных отрезков.

Эта пара скобок задаёт семантическую функцию в формальной семантике, \llbracket x \rrbracket_\rho — значение x в окружении \rho, — и дискретный отрезок \llbracket m, n \rrbracket в комбинаторике. Она также встречается в скобке Айверсона и в обозначении скачка для разрывов в численных методах для уравнений в частных производных, \llbracket u \rrbracket = u^+ - u^-. Поскольку глифа нет в шрифтах по умолчанию, исходнику нужен пакет символов; см. примечание о пакете на этой странице. Полые штрихи визуально отличают её от вложенных обычных скобок.

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

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

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

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

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

• Круглые скобки\left( x \right)
• Правая двойная квадратная скобка\rrbracket
• Квадратные скобки\left[ x \right]
• Левая двойная квадратная скобка\llbracket
• Фигурные скобки\left\{ x \right\}
• Норма\| x \|

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

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

Наберите \llbracket x \rrbracket в математическом режиме, например $\llbracket u \rrbracket = u^{+} - u^{-}$. Сначала подключите stmaryrd: \usepackage{stmaryrd}.

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

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

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

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\llbracket x \rrbracket$.