LaTeX 中的重言式符号（恒真、顶元）（\top）

用途

下钉（顶）符号：表示恒真命题，也表示格的最大元。

在逻辑中 \top 表示重言式，是合取的单位元（p \land \top \equiv p）。格论和域论用它表示顶元（最大元），类型论用它表示单位类型。它也广泛用作上标表示矩阵转置 A^\top，可替代 A^T 或 A^\intercal。\top 是普通符号。不要把它与字母 T 混淆，后者位于基线上且比例不同。它的对偶是 \bot。

也收录于: 布尔代数

最小可编译示例

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

\documentclass{article}
\begin{document}
Tautology (verum, top): $\top$

\[ p \lor \neg p \equiv \top \]
\end{document}

相关符号

• 空心方框\square
• 矛盾符号（恒假、底元）\bot
• 恒等号\equiv
• 因为符号\because
• 不等价符号（不同余）\not\equiv
• 所以符号\therefore

常见问题

如何在 LaTeX 中输入重言式符号（恒真、顶元）？

在数学模式中输入 \top，例如 $p \lor \neg p \equiv \top$。无需加载任何宏包即可在标准 LaTeX 中使用。

\top 需要哪个宏包？

不需要。\top 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

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

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