# HG changeset patch # User paulson # Date 1088168585 -7200 # Node ID 0628f38bcbcf0ba9fa0de9cc52fc107fde944010 # Parent 107e4dfd3b967d145478928c44052e8dfd72f858 auto update diff -r 107e4dfd3b96 -r 0628f38bcbcf doc-src/TutorialI/isabellesym.sty --- a/doc-src/TutorialI/isabellesym.sty Fri Jun 25 14:30:55 2004 +0200 +++ b/doc-src/TutorialI/isabellesym.sty Fri Jun 25 15:03:05 2004 +0200 @@ -6,16 +6,16 @@ % symbol definitions -\newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssym -\newcommand{\isasymone}{\isamath{\mathbf{1}}} %requires amssym -\newcommand{\isasymtwo}{\isamath{\mathbf{2}}} %requires amssym -\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssym -\newcommand{\isasymfour}{\isamath{\mathbf{4}}} %requires amssym -\newcommand{\isasymfive}{\isamath{\mathbf{5}}} %requires amssym -\newcommand{\isasymsix}{\isamath{\mathbf{6}}} %requires amssym -\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssym -\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssym -\newcommand{\isasymnine}{\isamath{\mathbf{9}}} %requires amssym +\newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb +\newcommand{\isasymone}{\isamath{\mathbf{1}}} %requires amssymb +\newcommand{\isasymtwo}{\isamath{\mathbf{2}}} %requires amssymb +\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb +\newcommand{\isasymfour}{\isamath{\mathbf{4}}} %requires amssymb +\newcommand{\isasymfive}{\isamath{\mathbf{5}}} %requires amssymb +\newcommand{\isasymsix}{\isamath{\mathbf{6}}} %requires amssymb +\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb +\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb +\newcommand{\isasymnine}{\isamath{\mathbf{9}}} %requires amssymb \newcommand{\isasymA}{\isamath{\mathcal{A}}} \newcommand{\isasymB}{\isamath{\mathcal{B}}} \newcommand{\isasymC}{\isamath{\mathcal{C}}} @@ -183,7 +183,7 @@ \newcommand{\isasymleftharpoonup}{\isamath{\leftharpoonup}} \newcommand{\isasymrightharpoonup}{\isamath{\rightharpoonup}} \newcommand{\isasymrightleftharpoons}{\isamath{\rightleftharpoons}} -\newcommand{\isasymleadsto}{\isamath{\leadsto}} %requires amssym +\newcommand{\isasymleadsto}{\isamath{\leadsto}} %requires amssymb \newcommand{\isasymup}{\isamath{\uparrow}} \newcommand{\isasymUp}{\isamath{\Uparrow}} \newcommand{\isasymdown}{\isamath{\downarrow}} @@ -214,8 +214,8 @@ \newcommand{\isasymOr}{\isamath{\bigvee}} \newcommand{\isasymforall}{\isamath{\forall\,}} \newcommand{\isasymexists}{\isamath{\exists\,}} -\newcommand{\isasymbox}{\isamath{\Box}} %requires amssym -\newcommand{\isasymdiamond}{\isamath{\Diamond}} %requires amssym +\newcommand{\isasymbox}{\isamath{\Box}} %requires amssymb +\newcommand{\isasymdiamond}{\isamath{\Diamond}} %requires amssymb \newcommand{\isasymturnstile}{\isamath{\vdash}} \newcommand{\isasymTurnstile}{\isamath{\models}} \newcommand{\isasymtturnstile}{\isamath{\vdash\!\!\!\vdash}} @@ -236,8 +236,8 @@ \newcommand{\isasymsupset}{\isamath{\supset}} \newcommand{\isasymsubseteq}{\isamath{\subseteq}} \newcommand{\isasymsupseteq}{\isamath{\supseteq}} -\newcommand{\isasymsqsubset}{\isamath{\sqsubset}} -\newcommand{\isasymsqsupset}{\isamath{\sqsupset}} %requires amssym +\newcommand{\isasymsqsubset}{\isamath{\sqsubset}} %requires amssymb +\newcommand{\isasymsqsupset}{\isamath{\sqsupset}} %requires amssymb \newcommand{\isasymsqsubseteq}{\isamath{\sqsubseteq}} \newcommand{\isasymsqsupseteq}{\isamath{\sqsupseteq}} \newcommand{\isasyminter}{\isamath{\cap}} @@ -262,7 +262,7 @@ \newcommand{\isasymfrown}{\isamath{\frown}} \newcommand{\isasympropto}{\isamath{\propto}} \newcommand{\isasymsome}{\isamath{\epsilon\,}} -\newcommand{\isasymJoin}{\isamath{\Join}} %requires amssym +\newcommand{\isasymJoin}{\isamath{\Join}} %requires amssymb \newcommand{\isasymbowtie}{\isamath{\bowtie}} \newcommand{\isasymprec}{\isamath{\prec}} \newcommand{\isasymsucc}{\isamath{\succ}} @@ -280,10 +280,10 @@ \newcommand{\isasymcirc}{\isamath{\circ}} \newcommand{\isasymdagger}{\isamath{\dagger}} \newcommand{\isasymddagger}{\isamath{\ddagger}} -\newcommand{\isasymlhd}{\isamath{\lhd}} -\newcommand{\isasymrhd}{\isamath{\rhd}} -\newcommand{\isasymunlhd}{\isamath{\unlhd}} -\newcommand{\isasymunrhd}{\isamath{\unrhd}} +\newcommand{\isasymlhd}{\isamath{\lhd}} %requires amssymb +\newcommand{\isasymrhd}{\isamath{\rhd}} %requires amssymb +\newcommand{\isasymunlhd}{\isamath{\unlhd}} %requires amssymb +\newcommand{\isasymunrhd}{\isamath{\unrhd}} %requires amssymb \newcommand{\isasymtriangleleft}{\isamath{\triangleleft}} \newcommand{\isasymtriangleright}{\isamath{\triangleright}} \newcommand{\isasymtriangle}{\isamath{\triangle}} @@ -341,8 +341,8 @@ \newcommand{\isasymcurrency}{\isatext{\textcurrency}} %requires textcomp \newcommand{\isasymdegree}{\isatext{\rm\textdegree}} %requires latin1 \newcommand{\isasymamalg}{\isamath{\amalg}} -\newcommand{\isasymmho}{\isamath{\mho}} %requires amssym -\newcommand{\isasymlozenge}{\isamath{\lozenge}} %requires amssym +\newcommand{\isasymmho}{\isamath{\mho}} %requires amssymb +\newcommand{\isasymlozenge}{\isamath{\lozenge}} %requires amssymb \newcommand{\isasymwp}{\isamath{\wp}} \newcommand{\isasymwrong}{\isamath{\wr}} \newcommand{\isasymstruct}{\isamath{\diamond}}