typeset.syn 109 B

123
  1. \begin{psyntax}{Set Types}{typeset}
  2. \synt{set\ type} \lit*{set} \lit*{of} \synt{ordinal\ type}
  3. \end{psyntax}