label.syn 107 B

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