# HG changeset patch
# User wenzelm
# Date 955576150 -7200
# Node ID c1d0cc81f06c4bc95f383535ce950f3d522d79db
# Parent  feb1f9af3836b5db04d541859efd2e5106972474
tuned \isasymlbrace;

diff -r feb1f9af3836 -r c1d0cc81f06c lib/texinputs/isabellesym.sty
--- 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$}}