setconst.syn 294 B

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