Gran disyunción en LaTeX (\bigvee)

Dónde se usa

Operador uve grande para la disyunción de muchos enunciados o para el supremo en un retículo.

La lógica usa \bigvee_{i=1}^{n} \varphi_i para una disyunción de n términos, que generaliza \vee (también \lor); la forma normal disyuntiva es literalmente una \bigvee de términos \bigwedge. En teoría del orden y de retículos, \bigvee S es el supremo (join) de un conjunto S. Como operador grande, sus límites se apilan en las fórmulas destacadas y se desplazan a un lado en línea. Evita usar en su lugar la letra V o un \vee con subíndice, ya que quedan pequeños y no colocan los límites. En topología algebraica, \bigvee_{i} S^1 denota una suma en cuña de circunferencias, que pega espacios punteados por sus puntos base.

Ejemplo mínimo compilable

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

\documentclass{article}
\begin{document}
Big Vee: $\bigvee$

\[ \bigvee_{i=1}^{n} \bigwedge_{j=1}^{m} \ell_{ij} \]
\end{document}

Símbolos relacionados

• Gran suma directa\bigoplus
• Gran conjunción\bigwedge
• Gran producto tensorial\bigotimes
• Gran intersección indexada\bigcap_{i=1}^{n}
• Gran punto en círculo\bigodot
• Intersección grande\bigcap

Preguntas frecuentes

¿Cómo escribo Gran disyunción en LaTeX?

Escribe \bigvee en modo matemático, por ejemplo $\bigvee_{i=1}^{n} \bigwedge_{j=1}^{m} \ell_{ij}$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \bigvee?

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

¿Puedo usar \bigvee 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 $\bigvee$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⋁ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).