Similar to シークエント計算
Mizar
Mizar systemB-Method
B-Method0
01
1▼-1 trends2
23
34
45
56
67
78
89
912345679
数学記号の表
Glossary of mathematical symbols▲3 trends論理定項
Logical constant論理演算
Logical connective論理記号の一覧
List of logic symbols▲1 trends記号論理の記号
&
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨