--- a/lib/texinputs/isabellesym.sty Sun May 29 12:41:40 2005 +0200
+++ b/lib/texinputs/isabellesym.sty Mon May 30 08:21:58 2005 +0200
@@ -220,6 +220,7 @@
\newcommand{\isasymOr}{\isamath{\bigvee}}
\newcommand{\isasymforall}{\isamath{\forall\,}}
\newcommand{\isasymexists}{\isamath{\exists\,}}
+\newcommand{\isasymnexists}{\isamath{\nexists\,}} %requires amssymb
\newcommand{\isasymbox}{\isamath{\Box}} %requires amssymb
\newcommand{\isasymdiamond}{\isamath{\Diamond}} %requires amssymb
\newcommand{\isasymturnstile}{\isamath{\vdash}}