Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/symbols
changeset 43455 4b4b93672f15
parent 42244 15bba1fb39d1
child 43463 0a2ffb071fca 
--- a/etc/symbols	Sun Jun 19 00:03:44 2011 +0200
+++ b/etc/symbols	Sun Jun 19 14:11:06 2011 +0200
@@ -353,4 +353,9 @@
 \<hungarumlaut>         code: 0x0002dd
 \<spacespace>           code: 0x002423  font: Isabelle
 \<some>                 code: 0x0003f5  font: Isabelle
+\<^sub>                 code: 0x0021e9
+\<^sup>                 code: 0x0021e7
+\<^isub>                code: 0x0021e3
+\<^isup>                code: 0x0021e1
+\<^bold>                code: 0x002759
isabelle