lib/texinputs/isabellesym.sty
changeset 10929 ccceb5fb517d
parent 10859 b88ce3ed3b1d
child 10975 32ba04b00ec0
     1.1 --- a/lib/texinputs/isabellesym.sty	Thu Jan 18 20:35:39 2001 +0100
     1.2 +++ b/lib/texinputs/isabellesym.sty	Thu Jan 18 20:36:08 2001 +0100
     1.3 @@ -157,9 +157,9 @@
     1.4  \newcommand{\isasymbottom}{\isamath{\bot}}
     1.5  \newcommand{\isasymtop}{\isamath{\top}}
     1.6  \newcommand{\isasymand}{\isamath{\wedge}}
     1.7 -\newcommand{\isasymAnd}{\isamath{\bigwedge\,}}
     1.8 +\newcommand{\isasymAnd}{\isamath{\bigwedge}}
     1.9  \newcommand{\isasymor}{\isamath{\vee}}
    1.10 -\newcommand{\isasymOr}{\isamath{\bigvee\,}}
    1.11 +\newcommand{\isasymOr}{\isamath{\bigvee}}
    1.12  \newcommand{\isasymforall}{\isamath{\forall\,}}
    1.13  \newcommand{\isasymexists}{\isamath{\exists\,}}
    1.14  \newcommand{\isasymbox}{\isamath{\Box}}  %requires latexsym