> 'visual' reminder of useful properties such as associativity, and possibly others e.g. commutativity or distributivity

These are semantic properties that most binary operators do not in fact have.

E.g. C syntax:

  A << B
  A = B
  A - B
  A / B
  A % B
  A < B