Category:論理記号
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)
ダウンタック記号
Tee (symbol)ロズンジ
⊢
↓
↓
論理定項
Logical constant→
→
メタ変数
Metavariable¬
&
全称記号
Universal quantification
矢印
Arrow (symbol)
チルダ
Tilde
論理演算
Logical connective
アンパサンド
Ampersand
Available on 
