1: \begin{definition}
2: The van der Waerden syzygy $[[\alpha\beta^\bullet\gamma]]$ is called a \emph{straightening} syzygy provided $\alpha_{s-1}<\beta_{s+1}$ and $\beta_s<\gamma_1$. In Example~\ref{firstexampleofvanderwaerdensyzygy} the van der Waerden syzygy is actually a straightening syzygy. We denote by $\mathcal{S}_{n,d}$ the set of all straightening syzygies. By \cite[Theorem 3.1.7]{Stu08} one has that the set $\mathcal{S}_{n,d}$ forms a Gr\"obner basis for the ideal $I_{d,n}$.
3: \end{definition}
4: