1: \begin{definition}

2: \label{defPsiOnHcBasisGen}

3: In the above setting, let $\hcRep \in \hcBasisGenInvCentSpin{p}{q}$ and suppose $\absBg$ is the corresponding abstract bigrading. If $\hcBasisGenInvOrderCentSpin{p}{q} = 1$, define $\weylGroupInvMap(\hcRep) = \omega$, where $\omega$ is the unique element in $\hcBasisGenInvCentSpinDual{p}{q}$. If $\hcBasisGenInvOrderCentSpin{p}{q} = 2$, define $\weylGroupInvMap(\hcRep) = \omega$, where $\omega$ is the unique element in $\hcBasisGenInvCentSpinDual{p}{q}$ with $\psInvMap(\psMap(\hcRep)) = \pcMapDual(\omega)$ (Theorem \ref{theoremPsMapBij}). In either case the abstract bigrading of $\weylGroupInvMap(\hcRep)$ is $\absBgDual$ (Proposition \ref{propSuppRepsDual}).

4: \end{definition}

5: