φ₀ is the expression ψ(x₀, x₁)

φ₁ is the expression ψ(x₀, x₁) ^ ψ(x₁, x₂)

…

φ_n is the expression ψ(x₀, x₁) ^ …^ ψ(x_n, x_n+1).