etc/symbols
changeset 53344 9a5eaa6b0154
parent 53343 8dc406adbc75
child 53345 8c333d659e8f
     1.1 --- a/etc/symbols	Sat Aug 31 12:53:39 2013 +0200
     1.2 +++ b/etc/symbols	Sat Aug 31 13:05:04 2013 +0200
     1.3 @@ -241,9 +241,9 @@
     1.4  \<sqsubseteq>           code: 0x002291  group: relation  abbrev: [=
     1.5  \<sqsupseteq>           code: 0x002292  group: relation  abbrev: ]=
     1.6  \<inter>                code: 0x002229  group: operator  abbrev: Int
     1.7 -\<Inter>                code: 0x0022c2  group: operator  abbrev: Inter
     1.8 +\<Inter>                code: 0x0022c2  group: operator  abbrev: Inter  abbrev: INT
     1.9  \<union>                code: 0x00222a  group: operator  abbrev: Un
    1.10 -\<Union>                code: 0x0022c3  group: operator  abbrev: Union
    1.11 +\<Union>                code: 0x0022c3  group: operator  abbrev: Union  abbrev: UN
    1.12  \<squnion>              code: 0x002294  group: operator
    1.13  \<Squnion>              code: 0x002a06  group: operator  abbrev: SUP
    1.14  \<sqinter>              code: 0x002293  group: operator