produit expr avec i₁,…,i_n dans r₁,…,r_n     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours,expr:Expression

produit expr avec i₁,…,i_n dans r₁,…,r_n étant p     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours,expr:Expression,expr:Expression

sigma expr avec i dans a..b     où i:Identificateur,a:ZZ,b:ZZ,expr:Expression

sigma expr avec i₁,…,i_n dans r₁,…,r_n     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours,expr:Expression

sigma expr avec i₁,…,i_n dans r₁,…,r_n étant p     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours,expr:Expression,expr:Expression

produit expr avec i dans a..b     où i:Identificateur,a:ZZ,b:ZZ,expr:Expression

sigma x avec i₁,…,i_n dans r₁,…,r_n     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours
     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours

     où i:Identificateur,a:ZZ,b:ZZ,x:Expression

sigma x avec i₁,…,i_n dans r₁,…,r_n étant p     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours

x,i₁,...,i_n,r₁,...,r_ni₁,...,i_n.

sigma x avec i₁,…,i_n dans r₁,…,r_n     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours

sigma x avec i₁,…,i_n dans r₁,…,r_n étant p     où i_j:Identificateur,r_j:Liste | Vecteur | Parcours

x,i₁,...,i_n,r₁,...,r_ni₁,...,i_n.

produit x avec i₁,…,i_n dans r₁,…,r_n

produit x avec i₁,…,i_n dans r₁,…,r_n étant p