--- a/doc-src/TutorialI/Misc/document/pairs.tex Thu Aug 17 21:07:25 2000 +0200
+++ b/doc-src/TutorialI/Misc/document/pairs.tex Fri Aug 18 10:34:08 2000 +0200
@@ -15,8 +15,8 @@
In addition to explicit $\lambda$-abstractions, tuple patterns can be used in
most variable binding constructs. Typical examples are
\begin{quote}
-\isa{let\ (x,\ y)\ =\ f\ z\ in\ (y,\ x)}\\
-\isa{case\ xs\ of\ []\ {\isasymRightarrow}\ 0\ |\ (x,\ y)\ \#\ zs\ {\isasymRightarrow}\ x\ +\ y}
+\isa{let\ (\mbox{x},\ \mbox{y})\ =\ \mbox{f}\ \mbox{z}\ in\ (\mbox{y},\ \mbox{x})}\\
+\isa{case\ \mbox{xs}\ of\ []\ {\isasymRightarrow}\ 0\ |\ (\mbox{x},\ \mbox{y})\ \#\ \mbox{zs}\ {\isasymRightarrow}\ \mbox{x}\ +\ \mbox{y}}
\end{quote}
Further important examples are quantifiers and sets (see~\S\ref{quant-pats}).%
\end{isamarkuptext}%