論理記号(否定、論理積、同値、∀、∃)を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 \]
∀と∃はややつめられて出力されるため、上の三番目と四番目の例のように半角空白(円マーク+半角空白)を入れるといいかもしれない。