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

\llbracket 需要哪个宏包？

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

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

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