Definition of summation notation