115 \verb!\renewcommand{\isasymcdot}{\isamath{\,\cdot\,}}! |
115 \verb!\renewcommand{\isasymcdot}{\isamath{\,\cdot\,}}! |
116 |
116 |
117 \item \isa{{\isacharbar}xs{\isacharbar}} instead of \isa{length\ xs}. |
117 \item \isa{{\isacharbar}xs{\isacharbar}} instead of \isa{length\ xs}. |
118 \item \isa{xs\ensuremath{_{[\mathit{n}]}}} instead of \isa{nth\ xs\ n}, |
118 \item \isa{xs\ensuremath{_{[\mathit{n}]}}} instead of \isa{nth\ xs\ n}, |
119 the $n$th element of \isa{xs}. |
119 the $n$th element of \isa{xs}. |
|
120 |
|
121 \item Human readers are good at converting automatically from lists to |
|
122 sets. Hence \texttt{OptionalSugar} contains syntax for supressing the |
|
123 conversion function \isa{set}: for example, \isa{{\isachardoublequote}x\ {\isasymin}\ set\ xs{\isachardoublequote}} |
|
124 becomes \isa{x\ {\isasymin}\ xs}. |
120 |
125 |
121 \item The \isa{{\isacharat}} operation associates implicitly to the right, |
126 \item The \isa{{\isacharat}} operation associates implicitly to the right, |
122 which leads to unpleasant line breaks if the term is too long for one |
127 which leads to unpleasant line breaks if the term is too long for one |
123 line. To avoid this, \texttt{OptionalSugar} contains syntax to group |
128 line. To avoid this, \texttt{OptionalSugar} contains syntax to group |
124 \isa{{\isacharat}}-terms to the left before printing, which leads to better |
129 \isa{{\isacharat}}-terms to the left before printing, which leads to better |