removed package marvosym (breaks \Rightarrow)
authorkleing
Fri May 02 16:39:38 2003 +0200 (2003-05-02)
changeset 13947538ff1baff29
parent 13946 b75562218711
child 13948 8d5de16583ef
removed package marvosym (breaks \Rightarrow)
reduced number of packages for "unusual symbols"
replaced \textzerooldstyle by \mathbf{0} etc to get normal sized numbers
lib/texinputs/isabellesym.sty
     1.1 --- a/lib/texinputs/isabellesym.sty	Fri May 02 15:19:36 2003 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Fri May 02 16:39:38 2003 +0200
     1.3 @@ -7,16 +7,16 @@
     1.4  
     1.5  % symbol definitions
     1.6  
     1.7 -\newcommand{\isasymzero}{\isatext{\textzerooldstyle}}  %requires textcomp
     1.8 -\newcommand{\isasymone}{\isatext{\textoneoldstyle}}  %requires textcomp
     1.9 -\newcommand{\isasymtwo}{\isatext{\texttwooldstyle}}  %requires textcomp
    1.10 -\newcommand{\isasymthree}{\isatext{\textthreeoldstyle}}  %requires textcomp
    1.11 -\newcommand{\isasymfour}{\isatext{\textfouroldstyle}}  %requires textcomp
    1.12 -\newcommand{\isasymfive}{\isatext{\textfiveoldstyle}}  %requires textcomp
    1.13 -\newcommand{\isasymsix}{\isatext{\textsixoldstyle}}  %requires textcomp
    1.14 -\newcommand{\isasymseven}{\isatext{\textsevenoldstyle}}  %requires textcomp
    1.15 -\newcommand{\isasymeight}{\isatext{\texteightoldstyle}}  %requires textcomp
    1.16 -\newcommand{\isasymnine}{\isatext{\textnineoldstyle}}  %requires textcomp
    1.17 +\newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssym
    1.18 +\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssym
    1.19 +\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssym
    1.20 +\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssym
    1.21 +\newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssym
    1.22 +\newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssym
    1.23 +\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssym
    1.24 +\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssym
    1.25 +\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssym
    1.26 +\newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssym
    1.27  \newcommand{\isasymA}{\isamath{\mathcal{A}}}
    1.28  \newcommand{\isasymB}{\isamath{\mathcal{B}}}
    1.29  \newcommand{\isasymC}{\isamath{\mathcal{C}}}
    1.30 @@ -184,7 +184,7 @@
    1.31  \newcommand{\isasymleftharpoonup}{\isamath{\leftharpoonup}}
    1.32  \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}}
    1.33  \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}}
    1.34 -\newcommand{\isasymleadsto}{\isamath{\leadsto}}  %requires latexsym
    1.35 +\newcommand{\isasymleadsto}{\isamath{\leadsto}}  %requires amssym
    1.36  \newcommand{\isasymup}{\isamath{\uparrow}}
    1.37  \newcommand{\isasymUp}{\isamath{\Uparrow}}
    1.38  \newcommand{\isasymdown}{\isamath{\downarrow}}
    1.39 @@ -203,8 +203,8 @@
    1.40  \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
    1.41  \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
    1.42  \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
    1.43 -\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
    1.44 -\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
    1.45 +\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
    1.46 +\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
    1.47  \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
    1.48  \newcommand{\isasymnot}{\isamath{\neg}}
    1.49  \newcommand{\isasymbottom}{\isamath{\bot}}
    1.50 @@ -215,8 +215,8 @@
    1.51  \newcommand{\isasymOr}{\isamath{\bigvee}}
    1.52  \newcommand{\isasymforall}{\isamath{\forall\,}}
    1.53  \newcommand{\isasymexists}{\isamath{\exists\,}}
    1.54 -\newcommand{\isasymbox}{\isamath{\Box}}  %requires latexsym
    1.55 -\newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires latexsym
    1.56 +\newcommand{\isasymbox}{\isamath{\Box}}  %requires amssym
    1.57 +\newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires amssym
    1.58  \newcommand{\isasymturnstile}{\isamath{\vdash}}
    1.59  \newcommand{\isasymTurnstile}{\isamath{\models}}
    1.60  \newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\!\vdash}}
    1.61 @@ -238,7 +238,7 @@
    1.62  \newcommand{\isasymsubseteq}{\isamath{\subseteq}}
    1.63  \newcommand{\isasymsupseteq}{\isamath{\supseteq}}
    1.64  \newcommand{\isasymsqsubset}{\isamath{\sqsubset}}
    1.65 -\newcommand{\isasymsqsupset}{\isamath{\sqsupset}}  %requires latexsym
    1.66 +\newcommand{\isasymsqsupset}{\isamath{\sqsupset}}  %requires amssym
    1.67  \newcommand{\isasymsqsubseteq}{\isamath{\sqsubseteq}}
    1.68  \newcommand{\isasymsqsupseteq}{\isamath{\sqsupseteq}}
    1.69  \newcommand{\isasyminter}{\isamath{\cap}}
    1.70 @@ -248,7 +248,7 @@
    1.71  \newcommand{\isasymsqunion}{\isamath{\sqcup}}
    1.72  \newcommand{\isasymSqunion}{\isamath{\bigsqcup\,}}
    1.73  \newcommand{\isasymsqinter}{\isamath{\sqcap}}
    1.74 -\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires stmaryrd
    1.75 +\newcommand{\isasymSqinter}{\isamath{\bigsqcap\,}}  %requires masmath
    1.76  \newcommand{\isasymuplus}{\isamath{\uplus}}
    1.77  \newcommand{\isasymUplus}{\isamath{\biguplus\,}}
    1.78  \newcommand{\isasymnoteq}{\isamath{\not=}}
    1.79 @@ -333,16 +333,16 @@
    1.80  \newcommand{\isasymparagraph}{\isatext{\rm\P}}
    1.81  \newcommand{\isasymexclamdown}{\isatext{\rm\textexclamdown}}
    1.82  \newcommand{\isasymquestiondown}{\isatext{\rm\textquestiondown}}
    1.83 -\newcommand{\isasymeuro}{\isatext{\EUR}}  %requires marvosym
    1.84 +\newcommand{\isasymeuro}{\isatext{\textgreek{\euro}}}  %requires greek babel
    1.85  \newcommand{\isasympounds}{\isamath{\pounds}}
    1.86  \newcommand{\isasymyen}{\isatext{\yen}}  %requires amssymb
    1.87  \newcommand{\isasymcent}{\isatext{\textcent}}  %requires textcomp
    1.88  \newcommand{\isasymcurrency}{\isatext{\textcurrency}} %requires textcomp
    1.89  \newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1
    1.90  \newcommand{\isasymamalg}{\isamath{\amalg}}
    1.91 -\newcommand{\isasymmho}{\isamath{\mho}}  %requires latexsym
    1.92 +\newcommand{\isasymmho}{\isamath{\mho}}  %requires amssym
    1.93  \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssym
    1.94 -\newcommand{\isasymJoin}{\isamath{\Join}}  %requires latexsym
    1.95 +\newcommand{\isasymJoin}{\isamath{\Join}}  %requires amssym
    1.96  \newcommand{\isasymwp}{\isamath{\wp}}
    1.97  \newcommand{\isasymwrong}{\isamath{\wr}}
    1.98  \newcommand{\isasymstruct}{\isamath{\diamond}}