1: \begin{definition}

2: A virtually self-dual weight enumerator $F(x,y)$ is called \textit{extremal} if the bound in Theorem \ref{bound} holds with equality. 

3: \end{definition}

4: