Как написать нижеприведенные булевы символы в латексе?

Question

Большинство символов бинарных операций имеют «n-арный» аналог:

+имеет\sum
\cdotимеет\prod
\oplusимеет\bigoplus
\veeимеет\bigvee
\wedgeимеет\bigwedge

и другие. По историческим причинам \veeи \wedgeимеют альтернативные названия \lorи \land, а «большие» версии — нет.

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\begin{gather*}
\bigvee_{1\leq k\leq n} a_k = a_1\lor a_2\lor \dots \lor a_n
\\
\bigwedge_{1\leq k\leq n} a_k = a_1\land a_2\land \dots \land a_n
\end{gather*}

\end{document}

Возможно, вы предпочтете иметь \biglorи \blgland:

\documentclass{article}
\usepackage{amsmath}

\AtBeginDocument{%
  \NewCommandCopy{\biglor}{\bigvee}%
  \NewCommandCopy{\bigland}{\bigwedge}%
}

\begin{document}

\begin{gather*}
\biglor_{1\leq k\leq n} a_k = a_1\lor a_2\lor \dots \lor a_n
\\
\bigland_{1\leq k\leq n} a_k = a_1\land a_2\land \dots \land a_n
\end{gather*}

\end{document}

Результат тот же.

Примечание.На самом деле это \AtBeginDocumentне обязательно pdflatex, но необходимо, если вы используете unicode-mathXeLaTeX или LuaLaTeX.

Answer 1