Правая двойная квадратная скобка в LaTeX (\rrbracket)

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

Правая двойная квадратная скобка, закрывающая семантические скобки или обозначение целочисленного отрезка.

Закрывайте \llbracket скобкой \rrbracket, чтобы записать \llbracket P \rrbracket_\sigma — значение программы P в состоянии \sigma — или целочисленный диапазон \llbracket a, b \rrbracket. Не имитируйте её с помощью ]] или ]\!]: они дают иную форму и интервалы, чем глиф полой скобки. Авторы, у которых много семантических скобок, часто определяют макрос вроде \sem{e}, чтобы стиль скобок можно было менять в одном месте, например перейти на [\![ e ]\!], если шрифт с двойными скобками недоступен.

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

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

\documentclass{article}
\usepackage{stmaryrd}
\begin{document}
Double Bracket Right: $\rrbracket$

\[ \llbracket x + y \rrbracket = \llbracket x \rrbracket + \llbracket y \rrbracket \]
\end{document}

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

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

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

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

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

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

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

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

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