\begin{psyntax}{Identifiers}{identifiers}
\synt{identifier} \begin{stack} \synt{letter} \\ \lit*{\_} \end{stack} 
\begin{rep}[b] \\
\begin{stack}
\synt{letter} \\
\synt{digit} \\
\lit*{\_} 
\end{stack}
\end{rep}
\end{psyntax}
