Add \usepackage{latexsym}

--- a/lib/texinputs/draft.tex	Thu Jun 17 22:01:23 2004 +0200
+++ b/lib/texinputs/draft.tex	Fri Jun 18 00:32:54 2004 +0200
@@ -9,6 +9,7 @@
 \usepackage{isabelle,isabellesym}
 \usepackage[latin1]{inputenc}
 \usepackage{pdfsetup}
+\usepackage{latexsym}
 
 \pagestyle{myheadings}
 \renewcommand{\isamarkupheader}[1]%