LaTeXの論理記号など

分類
論理記号
実質含意
含む; もし~ならば
\(\Rightarrow\)
\Rightarrow
\(\to\)
\to 
\(\supset\)
 \supset
実質同値
~のとき、かつそのときに限り
\(\Leftrightarrow\)
 \Leftrightarrow
\(iff\)
 \iff
\(\equiv\)
\equiv 
\(\leftrightarrow\)
 \leftrightarrow
否定(\lnot\)
\lnot 
\(\neg\)
\neg 
\(\tilde{} \)
\tilde{} 
論理積
かつ
\(\land\)
 \land
\(\wedge\)
\wedge 
\(\cdot\)
 \cdot
\(\&\)
 \&
論理和
または
\(\lor\)
 \lor
\(\vee\)
\& 
\(\parallel\)
 \parallel
排他的論理和\(\oplus\)
 \oplus
\(\veebar\)
\veebar 
トートロジー\(\top\)
 \top
矛盾\(\bot\)
 \bot
限量子
全称量化
すべての・任意の
\(\forall\)
\forall 
存在量化
~が存在する
\(\exists\)
 \exists
唯一存在量化
~がただ一つ存在する
\(\exists! \)
\exists!
そのほか
定義\(\coloneqq\)
 \coloneqq

mathtools が必要
\(\equiv\)
 \equiv
\(:\Leftrightarrow\)
 :\Leftrightarrow
優先順位\(() \)
 ()
~を証明する\(\vdash\)
 \vdash
~を含意する\(\vDash\)
\vDash