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₁,…,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

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

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