setconst.syn 354 B

123456789101112131415
  1. \begin{diagram}{Set constructors}{setconstuctors}
  2. \begin{mysyntdiag}
  3. \synt{set\ constructor} \lit* [
  4. \begin{stack}\\
  5. \begin{rep}[b] \synt{set\ group} \\ \lit* , \end{rep}
  6. \end{stack}
  7. \lit* ]
  8. \end{mysyntdiag}
  9. \begin{mysyntdiag}
  10. \synt{set\ group} \synt{expression}
  11. \begin{stack}\\
  12. \lit* {..} \synt{expression}
  13. \end{stack}
  14. \end{mysyntdiag}
  15. \end{diagram}