Add notation for Σ