論理記号（否定、論理積、同値、∀、∃）をTeXで書く方法

否定と論理積と論理和

\[
\lnot P \\
P \land Q \\
P \lor Q
\]

\[ \lnot P \\ P \land Q \\ P \lor Q \]

否定と論理積と論理和はすべて「l」（小文字のエル）から始める。

ならば

\[
P \to Q \\
P \rightarrow Q \\
P \longrightarrow Q \\
P \Rightarrow Q \\
P \Longrightarrow Q \\
P \mapsto Q \\
P \longmapsto Q \\
P \rightharpoonup Q \\
P \rightharpoondown Q \\
P \models Q
\]

\[ P \to Q \\ P \rightarrow Q \\ P \longrightarrow Q \\ P \Rightarrow Q \\ P \Longrightarrow Q \\ P \mapsto Q \\ P \longmapsto Q \\ P \rightharpoonup Q \\ P \rightharpoondown Q \\ P \models Q \]

同値

\[
P \equiv Q \\
P \leftrightarrow Q \\
P \longleftrightarrow Q \\
P \Leftrightarrow Q \\
P \Longleftrightarrow Q \\
P \rightleftharpoons Q \\
P \leftrightarrows Q \\
P \rightleftarrows Q
\]

\[ P \equiv Q \\ P \leftrightarrow Q \\ P \longleftrightarrow Q \\ P \Leftrightarrow Q \\ P \Longleftrightarrow Q \\ P \rightleftharpoons Q \\ P \leftrightarrows Q \\ P \rightleftarrows Q \]

一番上の記号は三角形の合同も表す。

すべてとある（AllとExists）

\[
\forall x \\
\exists x \\
\forall \ x \\
\exists \ x
\]

\[ \forall x \\ \exists x \\ \forall \ x \\ \exists \ x \]

∀と∃はややつめられて出力されるため、上の三番目と四番目の例のように半角空白（円マーク＋半角空白）を入れるといいかもしれない。