Similar to 否定論理積
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨
∴
Therefore sign∵
⊃
⊢
⊤
⊥
⊨
◊
アンパサンド
Ampersand外積 (曖昧さ回避)
キャレット
Caret
合同記号
Triple bar
合同否定
シークエント計算
Sequent calculus
自由変数と束縛変数
Free variables and bound variables
垂直記号
Up tack
全称記号
Universal quantification
ダイヤ (シンボル)
Diamonds (suit)
ダウンタック記号
Tee (symbol)
