lib/texinputs/isabellesym.sty
changeset 16110 c423bb89186d
parent 16064 7953879aa6cf
child 16772 fe9dfbc2fa3f
     1.1 --- a/lib/texinputs/isabellesym.sty	Sun May 29 12:41:40 2005 +0200
     1.2 +++ b/lib/texinputs/isabellesym.sty	Mon May 30 08:21:58 2005 +0200
     1.3 @@ -220,6 +220,7 @@
     1.4  \newcommand{\isasymOr}{\isamath{\bigvee}}
     1.5  \newcommand{\isasymforall}{\isamath{\forall\,}}
     1.6  \newcommand{\isasymexists}{\isamath{\exists\,}}
     1.7 +\newcommand{\isasymnexists}{\isamath{\nexists\,}}  %requires amssymb
     1.8  \newcommand{\isasymbox}{\isamath{\Box}}  %requires amssymb
     1.9  \newcommand{\isasymdiamond}{\isamath{\Diamond}}  %requires amssymb
    1.10  \newcommand{\isasymturnstile}{\isamath{\vdash}}