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