lib/texinputs/isabellesym.sty
changeset 17531 0bc8ae586a7c
parent 16772 fe9dfbc2fa3f
child 18584 0fde75d34f8d
     1.1 --- a/lib/texinputs/isabellesym.sty	Tue Sep 20 21:34:20 2005 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Tue Sep 20 21:39:00 2005 +0200
     1.3 @@ -1,21 +1,18 @@
     1.4  %%
     1.5 -%% Author: Markus Wenzel, TU Muenchen
     1.6 +%% $Id$
     1.7  %%
     1.8  %% definitions of standard Isabelle symbols
     1.9  %%
    1.10 -%% $Id$
    1.11 -
    1.12 -% symbol definitions
    1.13  
    1.14  \newcommand{\isasymzero}{\isamath{\mathbf{0}}}  %requires amssymb
    1.15 -\newcommand{\isasymone}{\isamath{\mathbf{1}}}   %requires amssymb
    1.16 -\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}   %requires amssymb
    1.17 -\newcommand{\isasymthree}{\isamath{\mathbf{3}}} %requires amssymb
    1.18 +\newcommand{\isasymone}{\isamath{\mathbf{1}}}  %requires amssymb
    1.19 +\newcommand{\isasymtwo}{\isamath{\mathbf{2}}}  %requires amssymb
    1.20 +\newcommand{\isasymthree}{\isamath{\mathbf{3}}}  %requires amssymb
    1.21  \newcommand{\isasymfour}{\isamath{\mathbf{4}}}  %requires amssymb
    1.22  \newcommand{\isasymfive}{\isamath{\mathbf{5}}}  %requires amssymb
    1.23 -\newcommand{\isasymsix}{\isamath{\mathbf{6}}}   %requires amssymb
    1.24 -\newcommand{\isasymseven}{\isamath{\mathbf{7}}} %requires amssymb
    1.25 -\newcommand{\isasymeight}{\isamath{\mathbf{8}}} %requires amssymb
    1.26 +\newcommand{\isasymsix}{\isamath{\mathbf{6}}}  %requires amssymb
    1.27 +\newcommand{\isasymseven}{\isamath{\mathbf{7}}}  %requires amssymb
    1.28 +\newcommand{\isasymeight}{\isamath{\mathbf{8}}}  %requires amssymb
    1.29  \newcommand{\isasymnine}{\isamath{\mathbf{9}}}  %requires amssymb
    1.30  \newcommand{\isasymA}{\isamath{\mathcal{A}}}
    1.31  \newcommand{\isasymB}{\isamath{\mathcal{B}}}
    1.32 @@ -208,8 +205,8 @@
    1.33  \newcommand{\isasymrbrakk}{\isamath{\mathclose{\rbrack\mkern-3mu\rbrack}}}
    1.34  \newcommand{\isasymlbrace}{\isamath{\mathopen{\lbrace\mkern-4.5mu\mid}}}
    1.35  \newcommand{\isasymrbrace}{\isamath{\mathclose{\mid\mkern-4.5mu\rbrace}}}
    1.36 -\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel 
    1.37 -\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel 
    1.38 +\newcommand{\isasymguillemotleft}{\isatext{\flqq}}  %requires babel
    1.39 +\newcommand{\isasymguillemotright}{\isatext{\frqq}}  %requires babel
    1.40  \newcommand{\isasymColon}{\isamath{\mathrel{::}}}
    1.41  \newcommand{\isasymnot}{\isamath{\neg}}
    1.42  \newcommand{\isasymbottom}{\isamath{\bot}}