LaTeX 中的右双方括号（\rrbracket）

用途

右双方括号，用于闭合语义括号或整数区间记号。

用 \rrbracket 闭合 \llbracket，可写出 \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$。请先用 \usepackage{stmaryrd} 加载 stmaryrd。

\rrbracket 需要哪个宏包？

\rrbracket 需要 stmaryrd：在文档开始前把 \usepackage{stmaryrd} 加入导言区。

\rrbracket 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\rrbracket$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ⟧（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。