productorio expr con i₁,…,i_n en r₁,…,r_n     donde i_j:Identificador,r_j:Lista | Vector | Recorrido,expr:Expresión

productorio expr con i₁,…,i_n en r₁,…,r_n donde p     donde i_j:Identificador,r_j:Lista | Vector | Recorrido,expr:Expresión,expr:Expresión

sigma expr con i en a..b     donde i:Identificador,a:ZZ,b:ZZ,expr:Expresión

sigma expr con i₁,…,i_n en r₁,…,r_n     donde i_j:Identificador,r_j:Lista | Vector | Recorrido,expr:Expresión

sigma expr con i₁,…,i_n en r₁,…,r_n donde p     donde i_j:Identificador,r_j:Lista | Vector | Recorrido,expr:Expresión,expr:Expresión

productorio expr con i en a..b     donde i:Identificador,a:ZZ,b:ZZ,expr:Expresión

sigma x con i₁,…,i_n en r₁,…,r_n     donde i_j:Identificador,r_j:Lista | Vector | Recorrido
     donde i_j:Identificador,r_j:Lista | Vector | Recorrido

     donde i:Identificador,a:ZZ,b:ZZ,x:Expresión

sigma x con i₁,…,i_n en r₁,…,r_n donde p     donde i_j:Identificador,r_j:Lista | Vector | Recorrido

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

sigma x con i₁,…,i_n en r₁,…,r_n     donde i_j:Identificador,r_j:Lista | Vector | Recorrido

sigma x con i₁,…,i_n en r₁,…,r_n donde p     donde i_j:Identificador,r_j:Lista | Vector | Recorrido

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

productorio x con i₁,…,i_n en r₁,…,r_n

productorio x con i₁,…,i_n en r₁,…,r_n donde p