diff -r 6988077666dc -r 8f9e2b02470a Paper/document/root.tex
--- a/Paper/document/root.tex	Wed Mar 31 17:04:09 2010 +0200
+++ b/Paper/document/root.tex	Wed Mar 31 18:47:02 2010 +0200
@@ -23,6 +23,7 @@
 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,}
 \renewcommand{\isasymequiv}{$\dn$}
 %%\renewcommand{\isasymiota}{}
+\renewcommand{\isasymxi}{$\ldots$}
 \renewcommand{\isasymemptyset}{$\varnothing$}
 \newcommand{\isasymnotapprox}{$\not\approx$}
 \newcommand{\isasymLET}{$\mathtt{let}$}