--- a/lib/texinputs/isabellesym.sty Wed Apr 12 23:47:47 2000 +0200
+++ b/lib/texinputs/isabellesym.sty Wed Apr 12 23:49:10 2000 +0200
@@ -147,6 +147,6 @@
\newcommand{\isasymcent}{\emph{\textcent}}
%requires OT1 encoding:
\newcommand{\isasymcurrency}{\emph{\textcurrency}}
-\newcommand{\isasymlbrace}{\emph{$\mathopen{\lbrace\mkern-4.5mu\mid\!}$}}
+\newcommand{\isasymlbrace}{\emph{$\mathopen{\lbrace\mkern-4.5mu\mid}$}}
\newcommand{\isasymrbrace}{\emph{$\mathclose{\mid\mkern-4.5mu\rbrace}$}}
\newcommand{\isasymtop}{\emph{$\top$}}