区分艾弗森和其他括号的方法？

Question

是否有一个常见的习语或方法来区分艾弗森括号来自“正常”括号？

在我见过的所有例子中，简单的括号[...]两者都使用了简单的括号；但在复杂表达式，这可能会造成混淆，因为解决哪个是哪个的唯一方法是仔细观察是否存在=。

有没有什么好的方法可以从印刷上区分这些？

Answer 1

您可以使用双括号来表示 Iverson 括号。在 latex 数学模式中，您可以使用：\llbracket来自stmaryrd包。在 latex 文本模式中，您可以使用：\textlbrackdbl来自textcomp包。以下是代码：

\documentclass[12pt]{report}
\usepackage{stmaryrd}
\usepackage{textcomp}

\begin{document}


$\llbracket Iverson~Brackets~in~mathmode \rrbracket$
\textlbrackdbl Iverson Brackets in textmode \textrbrackdbl


\end{document}

上述代码编译后看起来如下：

Answer 2

双括号非常常见。可以使用 和 来实现，\DeclarePairedDelimiter{\iverson}{\llbracket}{\rrbracket} 只需输入 即可\iverson{P}。需要有\usepackage{mathtools}和\usepackage{stmaryrd}才能使其工作。