Grande disjonction en LaTeX (\bigvee)

Où il est utilisé

Grand opérateur en V pour la disjonction de nombreux énoncés ou pour la borne supérieure dans un treillis.

La logique utilise \bigvee_{i=1}^{n} \varphi_i pour une disjonction de n termes, qui généralise \vee (aussi \lor) ; la forme normale disjonctive est littéralement une \bigvee de termes \bigwedge. En théorie des ordres et des treillis, \bigvee S est la borne supérieure (join) d’un ensemble S. En tant que grand opérateur, ses bornes s’empilent en mode hors texte et passent sur le côté en ligne. N’utilisez pas à sa place la lettre V ou un \vee avec indice, qui restent petits et ne positionnent pas les bornes. En topologie algébrique, \bigvee_{i} S^1 désigne un bouquet de cercles, obtenu en recollant des espaces pointés en leurs points base.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Grande somme directe\bigoplus
• Grande conjonction\bigwedge
• Grand produit tensoriel\bigotimes
• Grande intersection indexée\bigcap_{i=1}^{n}
• Grand point cerclé\bigodot
• Grande intersection\bigcap

Questions fréquentes

Comment écrire Grande disjonction en LaTeX ?

Tapez \bigvee en mode mathématique, par exemple $\bigvee_{i=1}^{n} \bigwedge_{j=1}^{m} \ell_{ij}$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \bigvee ?

Aucun. \bigvee fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \bigvee en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\bigvee$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⋁ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).