lib/texinputs/draft.tex

--- a/lib/texinputs/draft.tex	Fri Jun 18 20:07:51 2004 +0200
+++ b/lib/texinputs/draft.tex	Fri Jun 18 20:07:59 2004 +0200
@@ -7,9 +7,14 @@
 
 \documentclass[10pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
+
+%packages for unusual symbols -- selection needs to conform to
+%result of 'isatool latex -o syms'
 \usepackage[latin1]{inputenc}
+\usepackage{amssymb}
+\usepackage{textcomp}
+
 \usepackage{pdfsetup}
-\usepackage{latexsym}
 
 \pagestyle{myheadings}
 \renewcommand{\isamarkupheader}[1]%