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.
fewer conflicts -- adhoc resolution of == vs. ==> via unicode (!) image;
authorwenzelm
Fri, 30 Aug 2013 12:33:16 +0200
changeset 53321 53c314f1e8bf
parent 53320 17b887110cc1
child 53322 a4cd032172e0
fewer conflicts -- adhoc resolution of == vs. ==> via unicode (!) image;
etc/symbols file | annotate | diff | comparison | revisions 
--- a/etc/symbols	Fri Aug 30 12:24:15 2013 +0200
+++ b/etc/symbols	Fri Aug 30 12:33:16 2013 +0200
@@ -161,11 +161,11 @@
 \<Leftarrow>            code: 0x0021d0  group: arrow
 \<Longleftarrow>        code: 0x0027f8  group: arrow
 \<Rightarrow>           code: 0x0021d2  group: arrow  abbrev: =>
-\<Longrightarrow>       code: 0x0027f9  group: arrow  abbrev: ==>
+\<Longrightarrow>       code: 0x0027f9  group: arrow  abbrev: ==>  abbrev: ≡>
 \<leftrightarrow>       code: 0x002194  group: arrow  abbrev: <->
 \<longleftrightarrow>   code: 0x0027f7  group: arrow  abbrev: <->  abbrev: <-->
-\<Leftrightarrow>       code: 0x0021d4  group: arrow  abbrev: <=>
-\<Longleftrightarrow>   code: 0x0027fa  group: arrow  abbrev: <=>  abbrev: <==>
+\<Leftrightarrow>       code: 0x0021d4  group: arrow
+\<Longleftrightarrow>   code: 0x0027fa  group: arrow
 \<mapsto>               code: 0x0021a6  group: arrow  abbrev: |->
 \<longmapsto>           code: 0x0027fc  group: arrow  abbrev: |-->
 \<midarrow>             code: 0x002500  group: arrow
isabelle