AASL 1.2.2 Sigma notation