Category:論理記号
&
リテラル
Literal (computer programming)
バーティカルバー
Vertical bar∴
Therefore sign∵
アンパサンド
Ampersand
部分構造論理
Substructural logic∃
ロズンジ
記号論理の記号
⇔
∧
∨
⊃
⊤
⊥
⊨
◊
¦
∄
外積 (曖昧さ回避)
合同否定
ダイヤ (シンボル)
Diamonds (suit)⊢
メタ変数
Metavariable↓
↓
論理定項
Logical constant¬
