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