Remark

The advantage of using the infix-notation becomes obvious from the following comparison of two ways of writing the associativity law.