Idle thought: with the exception of \( \sum \) and \( \prod \), transforming an associative binary operation into an agglomerative "summation notation" is just making the symbol big and adding sub/superscripts. E.g., \( \bigotimes_{i=0}^n v_i \). It's strange to me that this applies to non-commutative operators ( \( \wedge \) ), but also that there are many binary operations where this rule can't be applied due to limitations of the syntax (bracket operators, function composition, modulo).