Similar to ∵
プラスマイナス記号
Plus–minus sign平行記号
リーダー (記号)
Ellipsis論理定項
Logical constant論理演算
Logical connective論理記号の一覧
List of logic symbols記号論理の記号
&
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨
⊃
⊢
⊤
⊥
⊨
◊
外積 (曖昧さ回避)
キャレット
Caret合同否定
シークエント計算
Sequent calculus自由変数と束縛変数
Free variables and bound variables