Similar to ポーランド記法
数式
Expression (mathematics)K関数
K-functionQポッホハマー記号
Q-Pochhammer symbolアイバーソンの記法
Iverson bracketアインシュタインの縮約記法
Einstein notationアラビア数字
Arabic numerals逆ポーランド記法
Reverse Polish notation添字表記法
Index notation中置記法
Infix notation被演算子
OperandMathType
MathTypeアリティ
Arity0
01
12
23
34
45
56
67
78
89
912345679
論理式 (数学)
Logical formula原子論理式
Atomic formula恒真式
Tautology (logic)シークエント
Sequent推論規則
Rule of inference