1: \begin{definition}\label{bigqedef}

2: If $\e \in \aL_n$ and $|\e| = k$ then there is an element  $T_\e \in \Kom(k,n)$ which is defined inductively by $T_{(1)} = 1$, 

3: $$T_{\e\cdot (+1)} = \CPic{aepsilon1} \quad\normaltext{ and }\quad T_{\e\cdot (-1)} = \CPic{aepsilon2}$$

4: where the box represents a universal projector $P_k$ (Theorem

5: \ref{uprojectorthm}) and the marshmallow-shaped

6: region represents the element $T_\e$. The special element $Q_\e\in\Kom(n)$ is equal to the top $T_\e$ composed with its reverse,

7: $$Q_\e = T_\e\otimes \bar{T}_\e.$$

8: \end{definition}

9: