Operador NOR (barra sobre la disyunción) en LaTeX (\bar{\vee})

Dónde se usa

Una v con un acento de barra encima, construida a mano para representar NOR (flecha de Peirce): verdadera solo cuando ambas entradas son falsas.

Las fuentes matemáticas habituales no tienen un comando estándar para el glifo NOR, así que \bar{\vee} lo imita poniendo un acento sobre el símbolo de la disyunción. Un efecto secundario: un símbolo acentuado se convierte en un átomo ordinario y pierde el espaciado de operador binario que tenía \vee, así que escribe \mathbin{\bar{\vee}} para recuperarlo, idealmente dentro de un \newcommand. La notación alternativa p \downarrow q (flecha de Peirce) se entiende ampliamente y evita el problema. No lo confundas con \veebar, cuya barra está debajo de la v y que normalmente significa XOR.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Símbolos relacionados

• Punto en círculo\odot
• Operador NAND\barwedge
• Flecha doble a la derecha\Rightarrow
• Suma directa\oplus
• Flecha doble bidireccional\Leftrightarrow
• Negación\neg

Preguntas frecuentes

¿Cómo escribo Operador NOR (barra sobre la disyunción) en LaTeX?

Escribe \bar{\vee} en modo matemático, por ejemplo $p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q)$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \bar{\vee}?

Ninguno. \bar{\vee} forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \bar{\vee} en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\bar{\vee}$.