doc-src/AxClass/generated/isabellesym.sty

 %% definitions of standard Isabelle symbols
 %%
 
 % 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}}}
 \newcommand{\isasymD}{\isamath{\mathcal{D}}}
 \newcommand{\isasymE}{\isamath{\mathcal{E}}}

 \newcommand{\isasymIm}{\isamath{\Im}}
 \newcommand{\isasymflat}{\isamath{\flat}}
 \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}}}
 \newcommand{\isasymonesuperior}{\isamath{\mathonesuperior}}  %requires latin1
 \newcommand{\isasymonequarter}{\isatext{\rm\textonequarter}}  %requires latin1

 \newcommand{\isasymonehalf}{\isatext{\rm\textonehalf}}  %requires latin1
 \newcommand{\isasymthreesuperior}{\isamath{\maththreesuperior}}  %requires latin1
 \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}}
 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
 \newcommand{\isasymstruct}{\isamath{\diamond}}