[000N] 記法-\(\times \)は右結合の演算子である。例えば、\(A\times B\times C\)は\(A\times (B\times C)\)と読む。-\(\sum _{x:A}\)の結合は弱い。例えば、\(\sum _{x:A}\sum _{y:B}C\times D\)は\(\sum _{x:A}(\sum _{y:B}(C\times D))\)と読む。