以下のブール記号をLaTeXで記述するにはどうすればいいですか?

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では実際には必要ありませんが、と XeLaTeX または LuaLaTeX をpdflatex使用する場合は必要です。unicode-math

Answer 1