LaTeX 中的或非运算符（析取符号上加横线）（\bar{\vee}）

用途

上方带横线重音的析取符号，手工拼合而成，用来表示或非（皮尔士箭头）：仅当两个输入都为假时结果为真。

常用数学字体中没有表示或非字形的标准单一命令，因此 \bar{\vee} 通过在或符号上方加重音来模拟它。一个副作用是：加了重音的符号会变成普通原子，失去 \vee 原有的二元运算符间距，因此应写成 \mathbin{\bar{\vee}} 来恢复间距，最好放在 \newcommand 中定义。另一种记号 p \downarrow q（皮尔士箭头）广为人知，也能避免这个问题。不要把它与 \veebar 混淆，后者的横线位于析取符号下方，通常表示异或。

最小可编译示例

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

\documentclass{article}
\begin{document}
NOR operator (bar over vee): $\bar{\vee}$

\[ p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q) \]
\end{document}

相关符号

• 圆圈点\odot
• 与非运算符\barwedge
• 双线右箭头\Rightarrow
• 直和符号\oplus
• 双线左右箭头\Leftrightarrow
• 否定符号\neg

常见问题

如何在 LaTeX 中输入或非运算符（析取符号上加横线）？

在数学模式中输入 \bar{\vee}，例如 $p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q)$。无需加载任何宏包即可在标准 LaTeX 中使用。

\bar{\vee} 需要哪个宏包？

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

\bar{\vee} 能在文本模式中使用，还是只能用于数学模式？

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