[000J] 記法

• -$\to$は右結合の演算子である。例えば、$A\to B\to C$は$A\to (B\to C)$と読む。
• -$\lambda x_{1}.\dots \lambda x_{n}.b$は$\lambda (x_{1},\dots ,x_{n}).b$と略記することがある。
• -$f(a_{1})\dots (a_{n})$は$f(a_{1},\dots ,a_{n})$と略記することがある。
• -$\prod _{x:A}$の結合は弱い。例えば、$\prod _{x:A}\prod _{y:B}C\to D$は$\prod _{x:A}(\prod _{y:B}(C\to D))$と読む。