# HG changeset patch
# User wenzelm
# Date 955033538 -7200
# Node ID 553ab81a5feeb461686aee07fc6907ca33b8290e
# Parent  6b8107df1c3ad602b2aa941e0d36b39fc2faffb1
added \isasymlbrace, \isasymrbrace, \isasymtop;

diff -r 6b8107df1c3a -r 553ab81a5fee lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Thu Apr 06 13:39:49 2000 +0200
+++ b/lib/texinputs/isabellesym.sty	Thu Apr 06 17:05:38 2000 +0200
@@ -147,3 +147,6 @@
 \newcommand{\isasymcent}{\emph{\textcent}}
 %requires OT1 encoding:
 \newcommand{\isasymcurrency}{\emph{\textcurrency}}
+\newcommand{\isasymlbrace}{\emph{$\mathopen{\lbrace\mkern-4.5mu\mid}$}}
+\newcommand{\isasymrbrace}{\emph{$\mathclose{\mid\mkern-4.5mu\rbrace}$}}
+\newcommand{\isasymtop}{\emph{$\top$}}