Большая дизъюнкция в LaTeX (\bigvee)

Где используется

Большой оператор «галочка» для дизъюнкции многих высказываний или точной верхней грани в решётке.

В логике \bigvee_{i=1}^{n} \varphi_i обозначает n-кратную дизъюнкцию, обобщая \vee (также \lor); дизъюнктивная нормальная форма — буквально \bigvee из членов вида \bigwedge. В теории порядка и решёток \bigvee S — точная верхняя грань (join, супремум) множества S. Как большой оператор, он ставит пределы друг над другом в выключных формулах и сбоку в строчных. Не подставляйте вместо него букву V или \vee с индексом: они остаются маленькими и не размещают пределы. В алгебраической топологии \bigvee_{i} S^1 обозначает букет окружностей, склеивающий пунктированные пространства по их отмеченным точкам.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

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

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

Похожие символы

• Большая прямая сумма\bigoplus
• Большая конъюнкция\bigwedge
• Большое тензорное произведение\bigotimes
• Большое пересечение с индексом\bigcap_{i=1}^{n}
• Большая точка в круге\bigodot
• Большое пересечение\bigcap

Частые вопросы

Как написать «Большая дизъюнкция» в LaTeX?

Наберите \bigvee в математическом режиме, например $\bigvee_{i=1}^{n} \bigwedge_{j=1}^{m} \ell_{ij}$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для \bigvee?

Никакой. \bigvee входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

Можно ли использовать \bigvee в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\bigvee$. Если нужен только сам знак в тексте, вставьте символ Unicode ⋁ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).