--- a/doc-src/TutorialI/isabellesym.sty Tue Dec 17 11:04:58 2002 +0100
+++ b/doc-src/TutorialI/isabellesym.sty Tue Dec 17 11:05:41 2002 +0100
@@ -336,8 +336,8 @@
\newcommand{\isasymeuro}{\isatext{\EUR}} %requires marvosym
\newcommand{\isasympounds}{\isamath{\pounds}}
\newcommand{\isasymyen}{\isatext{\yen}} %requires amssymb
-\newcommand{\isasymcent}{\isatext{\cent}} %requires wasysym
-\newcommand{\isasymcurrency}{\isatext{\currency}} %requires wasysym
+\newcommand{\isasymcent}{\isatext{\textcent}} %requires textcomp
+\newcommand{\isasymcurrency}{\isatext{\textcurrency}} %requires textcomp
\newcommand{\isasymdegree}{\isatext{\rm\textdegree}} %requires latin1
\newcommand{\isasymamalg}{\isamath{\amalg}}
\newcommand{\isasymmho}{\isamath{\mho}} %requires latexsym