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
0▼-1 trends1
12
23
3▲1 trends4
45
56
67
78
89
912345679
論理式 (数学)
Logical formula原子論理式
Atomic formula恒真式
Tautology (logic)シークエント
Sequent推論規則
Rule of inference