doc-src/isabellesym.sty
changeset 40893 7d88ebdce380
parent 40401 25ba6b2559e1
child 42484 2777a27506d0
     1.1 --- a/doc-src/isabellesym.sty	Thu Dec 02 21:23:56 2010 +0100
     1.2 +++ b/doc-src/isabellesym.sty	Thu Dec 02 23:09:54 2010 +0100
     1.3 @@ -324,12 +324,12 @@
     1.4  \newcommand{\isasymregistered}{\isatext{\rm\textregistered}}
     1.5  \newcommand{\isasymhyphen}{\isatext{\rm-}}
     1.6  \newcommand{\isasyminverse}{\isamath{{}^{-1}}}
     1.7 -\newcommand{\isasymonesuperior}{\isamath{\mathonesuperior}}  %requires latin1
     1.8 -\newcommand{\isasymonequarter}{\isatext{\rm\textonequarter}}  %requires latin1
     1.9 -\newcommand{\isasymtwosuperior}{\isamath{\mathtwosuperior}}  %requires latin1
    1.10 -\newcommand{\isasymonehalf}{\isatext{\rm\textonehalf}}  %requires latin1
    1.11 -\newcommand{\isasymthreesuperior}{\isamath{\maththreesuperior}}  %requires latin1
    1.12 -\newcommand{\isasymthreequarters}{\isatext{\rm\textthreequarters}}  %requires latin1
    1.13 +\newcommand{\isasymonesuperior}{\isamath{{}^1}}
    1.14 +\newcommand{\isasymonequarter}{\isatext{\rm\textonequarter}}  %requires textcomp
    1.15 +\newcommand{\isasymtwosuperior}{\isamath{{}^2}}
    1.16 +\newcommand{\isasymonehalf}{\isatext{\rm\textonehalf}}  %requires textcomp
    1.17 +\newcommand{\isasymthreesuperior}{\isamath{{}^3}}
    1.18 +\newcommand{\isasymthreequarters}{\isatext{\rm\textthreequarters}}  %requires textcomp
    1.19  \newcommand{\isasymordfeminine}{\isatext{\rm\textordfeminine}}
    1.20  \newcommand{\isasymordmasculine}{\isatext{\rm\textordmasculine}}
    1.21  \newcommand{\isasymsection}{\isatext{\rm\S}}
    1.22 @@ -341,7 +341,7 @@
    1.23  \newcommand{\isasymyen}{\isatext{\yen}}  %requires amssymb
    1.24  \newcommand{\isasymcent}{\isatext{\textcent}}  %requires textcomp
    1.25  \newcommand{\isasymcurrency}{\isatext{\textcurrency}} %requires textcomp
    1.26 -\newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1
    1.27 +\newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires textcomp
    1.28  \newcommand{\isasymamalg}{\isamath{\amalg}}
    1.29  \newcommand{\isasymmho}{\isamath{\mho}}  %requires amssymb
    1.30  \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssymb