# HG changeset patch
# User wenzelm
# Date 1007229106 -3600
# Node ID 7c6a970f0808ed98ed3edfb6f31e48a34050984a
# Parent  2d4561866642f3648b1b4bbd5191d16f314a462e
added zero--nine, euro;
tuned some text symbols;

diff -r 2d4561866642 -r 7c6a970f0808 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sat Dec 01 18:51:11 2001 +0100
+++ b/lib/texinputs/isabellesym.sty	Sat Dec 01 18:51:46 2001 +0100
@@ -7,6 +7,16 @@
 
 % symbol definitions
 
+\newcommand{\isasymzero}{\isatext{\textzerooldstyle}}  %requires textcomp
+\newcommand{\isasymone}{\isatext{\textoneoldstyle}}  %requires textcomp
+\newcommand{\isasymtwo}{\isatext{\texttwooldstyle}}  %requires textcomp
+\newcommand{\isasymthree}{\isatext{\textthreeoldstyle}}  %requires textcomp
+\newcommand{\isasymfour}{\isatext{\textfouroldstyle}}  %requires textcomp
+\newcommand{\isasymfive}{\isatext{\textfiveoldstyle}}  %requires textcomp
+\newcommand{\isasymsix}{\isatext{\textsixoldstyle}}  %requires textcomp
+\newcommand{\isasymseven}{\isatext{\textsevenoldstyle}}  %requires textcomp
+\newcommand{\isasymeight}{\isatext{\texteightoldstyle}}  %requires textcomp
+\newcommand{\isasymnine}{\isatext{\textnineoldstyle}}  %requires textcomp
 \newcommand{\isasymA}{\isamath{\mathcal{A}}}
 \newcommand{\isasymB}{\isamath{\mathcal{B}}}
 \newcommand{\isasymC}{\isamath{\mathcal{C}}}
@@ -307,7 +317,7 @@
 \newcommand{\isasymnatural}{\isamath{\natural}}
 \newcommand{\isasymsharp}{\isamath{\sharp}}
 \newcommand{\isasymangle}{\isamath{\angle}}
-\newcommand{\isasymcopyright}{\isatext{\copyright}}
+\newcommand{\isasymcopyright}{\isatext{\rm\copyright}}
 \newcommand{\isasymregistered}{\isatext{\rm\textregistered}}
 \newcommand{\isasymhyphen}{\isatext{\rm-}}
 \newcommand{\isasyminverse}{\isamath{{}^{-1}}}
@@ -319,20 +329,21 @@
 \newcommand{\isasymthreequarters}{\isatext{\rm\textthreequarters}}  %requires latin1
 \newcommand{\isasymordfeminine}{\isatext{\rm\textordfeminine}}
 \newcommand{\isasymordmasculine}{\isatext{\rm\textordmasculine}}
-\newcommand{\isasymsection}{\isatext{\S}}
-\newcommand{\isasymparagraph}{\isatext{\P}}
+\newcommand{\isasymsection}{\isatext{\rm\S}}
+\newcommand{\isasymparagraph}{\isatext{\rm\P}}
 \newcommand{\isasymexclamdown}{\isatext{\rm\textexclamdown}}
 \newcommand{\isasymquestiondown}{\isatext{\rm\textquestiondown}}
+\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{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1
-\newcommand{\isasymwp}{\isamath{\wp}}
 \newcommand{\isasymamalg}{\isamath{\amalg}}
 \newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym
 \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssym
 \newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
+\newcommand{\isasymwp}{\isamath{\wp}}
 \newcommand{\isasymwrong}{\isamath{\wr}}
 \newcommand{\isasymspacespace}{\isamath{~~}}
 \newcommand{\isasymacute}{\isatext{\'\relax}}