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^{-}$。请先用 \usepackage{stmaryrd} 加载 stmaryrd。

\llbracket x \rrbracket 需要哪个宏包？

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

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

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\llbracket x \rrbracket$。