1 2 3 4 5 6
\begin{psyntax}{With statement}{withstatement} \synt{with\ statement} \begin{rep}[b] \synt{variable\ reference} \\ \lit* , \end{rep} \lit*{do} \synt{statement} \end{psyntax}