Remark
The advantage of using the infix-notation becomes obvious from the
following comparison of two ways of writing the associativity law.
- For the usual notation with operation f:
f(a,f(b,c)) = f(f(a,b),c);
-
for the infix-notation a * b = f(a,b):
a * (b * c) = (a * b) * c.