Category:論理記号
→
→▲2 trends
否定論理積
Sheffer stroke
ダウンタック記号
Tee (symbol)∃
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)
部分構造論理
Substructural logic⊢
↓
↓
論理定項
Logical constantロズンジ
∵
メタ変数
Metavariable¬
&
キャレット
Caret
Available on 
