etc/symbols
changeset 53317 dea84641ca35
parent 53251 7facc08da806
child 53319 5f310fb79c62
     1.1 --- a/etc/symbols	Fri Aug 30 11:04:29 2013 +0200
     1.2 +++ b/etc/symbols	Fri Aug 30 11:41:43 2013 +0200
     1.3 @@ -154,7 +154,7 @@
     1.4  \<rat>                  code: 0x00211a  group: letter
     1.5  \<real>                 code: 0x00211d  group: letter
     1.6  \<int>                  code: 0x002124  group: letter
     1.7 -\<leftarrow>            code: 0x002190  group: arrow
     1.8 +\<leftarrow>            code: 0x002190  group: arrow  abbrev: <-
     1.9  \<longleftarrow>        code: 0x0027f5  group: arrow
    1.10  \<rightarrow>           code: 0x002192  group: arrow  abbrev: ->
    1.11  \<longrightarrow>       code: 0x0027f6  group: arrow  abbrev: -->
    1.12 @@ -162,10 +162,10 @@
    1.13  \<Longleftarrow>        code: 0x0027f8  group: arrow
    1.14  \<Rightarrow>           code: 0x0021d2  group: arrow  abbrev: =>
    1.15  \<Longrightarrow>       code: 0x0027f9  group: arrow  abbrev: ==>
    1.16 -\<leftrightarrow>       code: 0x002194  group: arrow
    1.17 -\<longleftrightarrow>   code: 0x0027f7  group: arrow  abbrev: <->
    1.18 -\<Leftrightarrow>       code: 0x0021d4  group: arrow
    1.19 -\<Longleftrightarrow>   code: 0x0027fa  group: arrow  abbrev: <=>
    1.20 +\<leftrightarrow>       code: 0x002194  group: arrow  abbrev: <->
    1.21 +\<longleftrightarrow>   code: 0x0027f7  group: arrow  abbrev: <->  abbrev: <-->
    1.22 +\<Leftrightarrow>       code: 0x0021d4  group: arrow  abbrev: <=>
    1.23 +\<Longleftrightarrow>   code: 0x0027fa  group: arrow  abbrev: <=>  abbrev: <==>
    1.24  \<mapsto>               code: 0x0021a6  group: arrow  abbrev: |->
    1.25  \<longmapsto>           code: 0x0027fc  group: arrow  abbrev: |-->
    1.26  \<midarrow>             code: 0x002500  group: arrow
    1.27 @@ -175,7 +175,7 @@
    1.28  \<leftharpoondown>      code: 0x0021bd  group: arrow
    1.29  \<rightharpoondown>     code: 0x0021c1  group: arrow
    1.30  \<leftharpoonup>        code: 0x0021bc  group: arrow
    1.31 -\<rightharpoonup>       code: 0x0021c0  group: arrow
    1.32 +\<rightharpoonup>       code: 0x0021c0  group: arrow  abbrev: ~=>
    1.33  \<rightleftharpoons>    code: 0x0021cc  group: arrow
    1.34  \<leadsto>              code: 0x00219d  group: arrow  abbrev: ~>
    1.35  \<downharpoonleft>      code: 0x0021c3  group: arrow
    1.36 @@ -206,12 +206,12 @@
    1.37  \<guillemotright>       code: 0x0000bb  group: punctuation  abbrev: >>
    1.38  \<bottom>               code: 0x0022a5  group: logic
    1.39  \<top>                  code: 0x0022a4  group: logic
    1.40 -\<and>                  code: 0x002227  group: logic  abbrev: /\
    1.41 +\<and>                  code: 0x002227  group: logic  abbrev: /\  abbrev: &
    1.42  \<And>                  code: 0x0022c0  group: logic  abbrev: !!
    1.43 -\<or>                   code: 0x002228  group: logic  abbrev: \/
    1.44 +\<or>                   code: 0x002228  group: logic  abbrev: \/  abbrev: |
    1.45  \<Or>                   code: 0x0022c1  group: logic  abbrev: ??
    1.46 -\<forall>               code: 0x002200  group: logic  abbrev: !
    1.47 -\<exists>               code: 0x002203  group: logic  abbrev: ?
    1.48 +\<forall>               code: 0x002200  group: logic  abbrev: !  abbrev: ALL
    1.49 +\<exists>               code: 0x002203  group: logic  abbrev: ?  abbrev: EX
    1.50  \<nexists>              code: 0x002204  group: logic  abbrev: ~?
    1.51  \<not>                  code: 0x0000ac  group: logic  abbrev: ~
    1.52  \<box>                  code: 0x0025a1  group: logic
    1.53 @@ -224,8 +224,8 @@
    1.54  \<surd>                 code: 0x00221a  group: relation
    1.55  \<le>                   code: 0x002264  group: relation  abbrev: <=
    1.56  \<ge>                   code: 0x002265  group: relation  abbrev: >=
    1.57 -\<lless>                code: 0x00226a  group: relation
    1.58 -\<ggreater>             code: 0x00226b  group: relation
    1.59 +\<lless>                code: 0x00226a  group: relation  abbrev: <<
    1.60 +\<ggreater>             code: 0x00226b  group: relation  abbrev: >>
    1.61  \<lesssim>              code: 0x002272  group: relation
    1.62  \<greatersim>           code: 0x002273  group: relation
    1.63  \<lessapprox>           code: 0x002a85  group: relation
    1.64 @@ -240,21 +240,21 @@
    1.65  \<sqsupset>             code: 0x002290  group: relation
    1.66  \<sqsubseteq>           code: 0x002291  group: relation  abbrev: [=
    1.67  \<sqsupseteq>           code: 0x002292  group: relation  abbrev: =]
    1.68 -\<inter>                code: 0x002229  group: operator
    1.69 -\<Inter>                code: 0x0022c2  group: operator
    1.70 -\<union>                code: 0x00222a  group: operator
    1.71 -\<Union>                code: 0x0022c3  group: operator
    1.72 +\<inter>                code: 0x002229  group: operator  abbrev: Int
    1.73 +\<Inter>                code: 0x0022c2  group: operator  abbrev: Inter
    1.74 +\<union>                code: 0x00222a  group: operator  abbrev: Un
    1.75 +\<Union>                code: 0x0022c3  group: operator  abbrev: Union
    1.76  \<squnion>              code: 0x002294  group: operator
    1.77 -\<Squnion>              code: 0x002a06  group: operator
    1.78 +\<Squnion>              code: 0x002a06  group: operator  abbrev: SUP
    1.79  \<sqinter>              code: 0x002293  group: operator
    1.80 -\<Sqinter>              code: 0x002a05  group: operator
    1.81 +\<Sqinter>              code: 0x002a05  group: operator  abbrev: INF
    1.82  \<setminus>             code: 0x002216  group: operator
    1.83  \<propto>               code: 0x00221d  group: operator
    1.84  \<uplus>                code: 0x00228e  group: operator
    1.85  \<Uplus>                code: 0x002a04  group: operator
    1.86  \<noteq>                code: 0x002260  group: relation  abbrev: ~=
    1.87  \<sim>                  code: 0x00223c  group: relation
    1.88 -\<doteq>                code: 0x002250  group: relation
    1.89 +\<doteq>                code: 0x002250  group: relation  abbrev: =.
    1.90  \<simeq>                code: 0x002243  group: relation
    1.91  \<approx>               code: 0x002248  group: relation
    1.92  \<asymp>                code: 0x00224d  group: relation
    1.93 @@ -272,12 +272,12 @@
    1.94  \<bar>                  code: 0x0000a6  group: punctuation
    1.95  \<plusminus>            code: 0x0000b1  group: operator
    1.96  \<minusplus>            code: 0x002213  group: operator
    1.97 -\<times>                code: 0x0000d7  group: operator
    1.98 +\<times>                code: 0x0000d7  group: operator  abbrev: *
    1.99  \<div>                  code: 0x0000f7  group: operator
   1.100  \<cdot>                 code: 0x0022c5  group: operator
   1.101  \<star>                 code: 0x0022c6  group: operator
   1.102  \<bullet>               code: 0x002219  group: operator
   1.103 -\<circ>                 code: 0x002218  group: operator
   1.104 +\<circ>                 code: 0x002218  group: operator  abbrev: o
   1.105  \<dagger>               code: 0x002020
   1.106  \<ddagger>              code: 0x002021
   1.107  \<lhd>                  code: 0x0022b2  group: relation