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.
\isasymstruct;
authorwenzelm
Wed, 07 Nov 2001 18:16:54 +0100
changeset 12090 e70c7350851c
parent 12089 34e7693271a9
child 12091 08b4da78d1ad
\isasymstruct;
lib/texinputs/isabellesym.sty file | annotate | diff | comparison | revisions 
--- a/lib/texinputs/isabellesym.sty	Wed Nov 07 18:12:12 2001 +0100
+++ b/lib/texinputs/isabellesym.sty	Wed Nov 07 18:16:54 2001 +0100
@@ -339,3 +339,4 @@
 \newcommand{\isasymdieresis}{\isatext{\"\relax}}
 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
+\newcommand{\isasymstruct}{\isamath{\backprime}}  %requires amssymb
isabelle