Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added \isasymlbrace, \isasymrbrace, \isasymtop;
authorwenzelm
Thu, 06 Apr 2000 17:05:38 +0200
changeset 8679 553ab81a5fee
parent 8678 6b8107df1c3a
child 8680 898cf487632e
added \isasymlbrace, \isasymrbrace, \isasymtop;
lib/texinputs/isabellesym.sty file | annotate | diff | comparison | revisions 
--- 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$}}
isabelle