Similar to 数学記号の表
ISO 80000-2
ISO 80000-2
論理記号の一覧
List of logic symbols
∴
Therefore sign∵
合同記号
Triple bar
垂直記号
Up tack
全称記号
Universal quantification
バーティカルバー
Vertical bar
否定記号
1の分割
Partition of unity
Axiom (数式処理システム)
Axiom (computer algebra system)Brilliant.org
Brilliant (website)
数学記号の表 (導入年別)
Table of mathematical symbols by introduction date
ZFCから独立な命題の一覧
List of statements independent of ZFC
B-スプライン曲線
B-spline
0
0▼-1 trends
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
論理定項
Logical constant
論理演算
Logical connective