1: \begin{equation}

2:     \label{eq:derivation of alpha X x}

3:     S' \derives^* \beta A_1 z \derives \beta \gamma X \delta_0 z 

4:     \derives^* \beta \gamma X y z=\alpha' X x.

5:   \end{equation}

6: