etc/symbols
changeset 53344 9a5eaa6b0154
parent 53343 8dc406adbc75
child 53345 8c333d659e8f
--- 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