# HG changeset patch
# User wenzelm
# Date 1377947104 -7200
# Node ID 9a5eaa6b0154ac13a5ac6c43896cbbcd25efd70c
# Parent  8dc406adbc7595a2a4577fe6b5e0cc8fb016129b
more abbrevs according to Isabelle/HOL ASCII replacement syntax;

diff -r 8dc406adbc75 -r 9a5eaa6b0154 etc/symbols
--- a/etc/symbols	Sat Aug 31 12:53:39 2013 +0200
+++ b/etc/symbols	Sat Aug 31 13:05:04 2013 +0200
@@ -241,9 +241,9 @@
 \<sqsubseteq>           code: 0x002291  group: relation  abbrev: [=
 \<sqsupseteq>           code: 0x002292  group: relation  abbrev: ]=
 \<inter>                code: 0x002229  group: operator  abbrev: Int
-\<Inter>                code: 0x0022c2  group: operator  abbrev: Inter
+\<Inter>                code: 0x0022c2  group: operator  abbrev: Inter  abbrev: INT
 \<union>                code: 0x00222a  group: operator  abbrev: Un
-\<Union>                code: 0x0022c3  group: operator  abbrev: Union
+\<Union>                code: 0x0022c3  group: operator  abbrev: Union  abbrev: UN
 \<squnion>              code: 0x002294  group: operator
 \<Squnion>              code: 0x002a06  group: operator  abbrev: SUP
 \<sqinter>              code: 0x002293  group: operator