1: \begin{definition}{($E_{n,k}$)}

2:   Suppose that $P_{n,k}$ is the higher order projector from Theorem \ref{hothm}.

3: Then set

4: $$E_{n,k} = (P_{n,k} \sqcup P_{n,k} \sqcup P_{n,k}) \otimes P_{3n,k}.$$

5: \end{definition}

6: