label.syn 128 B

123
  1. \begin{psyntax}{Label}{label}
  2. \synt{label} \begin{stack} \synt{digit\ sequence} \\ \synt{identifier} \end{stack}
  3. \end{psyntax}