Category:論理記号
◊
論理定項
Logical constant¦
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)⊢
無矛盾
Consistency
ダウンタック記号
Tee (symbol)ロズンジ
部分構造論理
Substructural logic
メタ変数
Metavariable
論理的帰結
Logical consequence¬
アンパサンド
Ampersand
バーティカルバー
Vertical bar&
Available on 
