LaTeX 中的可能算子（\Diamond）

用途

可能算子：\Diamond p 读作“可能 p”，若 p 在某个可达世界中成立，则它在该世界为真。

它是必然算子的对偶，\Diamond p \leftrightarrow \neg\Box\neg p，在系统 T 中有 p \to \Diamond p。时序逻辑把它读作“最终”，动态逻辑则用 \langle a \rangle p 表示同样的意思。\Diamond 是较大的普通符号；\diamond 是较小的二元运算符，\lozenge 是窄菱形，不要相互替换。TeX 把 \Diamond 当作普通符号，因此 \Diamond p 之间没有空隙；只有在排版规范要求留空时才加 \,。

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Possibly: $\Diamond$

\[ \Diamond p \leftrightarrow \neg \Box \neg p \]
\end{document}

相关符号

• 非必然算子\neg\Box
• 达朗贝尔算子\Box
• 不可能算子\neg\Diamond
• 必然蕴涵（严格蕴涵）\Box(p \to q)
• 合取的可能性\Diamond(p \land q)
• 知识算子K_a p

常见问题

如何在 LaTeX 中输入可能算子？

在数学模式中输入 \Diamond，例如 $\Diamond p \leftrightarrow \neg \Box \neg p$。请先用 \usepackage{amssymb} 加载 amssymb。

\Diamond 需要哪个宏包？

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

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

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