"canonical" Sum operator

+ small stylistic change to sum.f.png