\begin{psyntax}{Label}{label}
\synt{label}  \begin{stack} \synt{digit\ sequence} \\ \synt{identifier} \end{stack}
\end{psyntax}