--- a/src/Doc/Sugar/document/root.tex Fri Jul 08 16:38:31 2016 +0200
+++ b/src/Doc/Sugar/document/root.tex Fri Jul 08 19:35:31 2016 +0200
@@ -12,6 +12,8 @@
\urlstyle{rm}
\isabellestyle{it}
+\newcommand{\showout}{\mbox{}\hspace{-2em}$\leadsto$\quad}
+
\hyphenation{Isa-belle}
\begin{document}