TeX source:

lower[z_1, z_2,⋯,z_n] = [∧_{i=1},⋯,_n z_i, ∧_{i=1},⋯,_n z_i,⋯, ∧_{i=1},⋯, _n z_i]