[000J] 記法-→\to →は右結合の演算子である。例えば、A→B→CA\to B\to CA→B→CはA→(B→C)A\to (B\to C)A→(B→C)と読む。-λx1.…λxn.b\lambda x_{1}.\dots \lambda x_{n}.bλx1.…λxn.bはλ(x1,…,xn).b\lambda (x_{1},\dots ,x_{n}).bλ(x1,…,xn).bと略記することがある。-f(a1)…(an)f(a_{1})\dots (a_{n})f(a1)…(an)はf(a1,…,an)f(a_{1},\dots ,a_{n})f(a1,…,an)と略記することがある。-∏x:A\prod _{x:A}∏x:Aの結合は弱い。例えば、∏x:A∏y:BC→D\prod _{x:A}\prod _{y:B}C\to D∏x:A∏y:BC→Dは∏x:A(∏y:B(C→D))\prod _{x:A}(\prod _{y:B}(C\to D))∏x:A(∏y:B(C→D))と読む。