(\[VerticalSeparator](ϕ^((u)))⟩=(∑_(j=1)^(M-u+1))(Subscript[a, j]^((u)))\[VerticalSeparator](Subscript[ϕ, uj])⟩(12))