diff -r 5d1fc22bccdf -r 97c530dc8aca doc-src/System/system.tex
--- a/doc-src/System/system.tex	Mon Sep 15 20:51:40 2008 +0200
+++ b/doc-src/System/system.tex	Mon Sep 15 20:51:58 2008 +0200
@@ -42,7 +42,7 @@
 
 \appendix
 \let\int\intorig
-\input{symbols}
+\input{Thy/document/Symbols}
 
 \begingroup
   \bibliographystyle{plain} \small\raggedright\frenchspacing