etc/symbols
changeset 53319 5f310fb79c62
parent 53317 dea84641ca35
child 53320 17b887110cc1
     1.1 --- a/etc/symbols	Fri Aug 30 12:09:53 2013 +0200
     1.2 +++ b/etc/symbols	Fri Aug 30 12:10:34 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  abbrev: <-
     1.8 +\<leftarrow>            code: 0x002190  group: arrow
     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 @@ -175,7 +175,7 @@
    1.13  \<leftharpoondown>      code: 0x0021bd  group: arrow
    1.14  \<rightharpoondown>     code: 0x0021c1  group: arrow
    1.15  \<leftharpoonup>        code: 0x0021bc  group: arrow
    1.16 -\<rightharpoonup>       code: 0x0021c0  group: arrow  abbrev: ~=>
    1.17 +\<rightharpoonup>       code: 0x0021c0  group: arrow
    1.18  \<rightleftharpoons>    code: 0x0021cc  group: arrow
    1.19  \<leadsto>              code: 0x00219d  group: arrow  abbrev: ~>
    1.20  \<downharpoonleft>      code: 0x0021c3  group: arrow
    1.21 @@ -190,8 +190,8 @@
    1.22  \<Down>                 code: 0x0021d3  group: arrow
    1.23  \<updown>               code: 0x002195  group: arrow
    1.24  \<Updown>               code: 0x0021d5  group: arrow
    1.25 -\<langle>               code: 0x0027e8  group: punctuation  abbrev: <.
    1.26 -\<rangle>               code: 0x0027e9  group: punctuation  abbrev: .>
    1.27 +\<langle>               code: 0x0027e8  group: punctuation  abbrev: <<
    1.28 +\<rangle>               code: 0x0027e9  group: punctuation  abbrev: >>
    1.29  \<lceil>                code: 0x002308  group: punctuation
    1.30  \<rceil>                code: 0x002309  group: punctuation
    1.31  \<lfloor>               code: 0x00230a  group: punctuation
    1.32 @@ -200,8 +200,8 @@
    1.33  \<rparr>                code: 0x002988  group: punctuation  abbrev: |)
    1.34  \<lbrakk>               code: 0x0027e6  group: punctuation  abbrev: [|
    1.35  \<rbrakk>               code: 0x0027e7  group: punctuation  abbrev: |]
    1.36 -\<lbrace>               code: 0x002983  group: punctuation  abbrev: {.
    1.37 -\<rbrace>               code: 0x002984  group: punctuation  abbrev: .}
    1.38 +\<lbrace>               code: 0x002983  group: punctuation  abbrev: {|
    1.39 +\<rbrace>               code: 0x002984  group: punctuation  abbrev: |}
    1.40  \<guillemotleft>        code: 0x0000ab  group: punctuation  abbrev: <<
    1.41  \<guillemotright>       code: 0x0000bb  group: punctuation  abbrev: >>
    1.42  \<bottom>               code: 0x0022a5  group: logic
    1.43 @@ -218,8 +218,8 @@
    1.44  \<diamond>              code: 0x0025c7  group: logic
    1.45  \<turnstile>            code: 0x0022a2  group: relation  abbrev: |-
    1.46  \<Turnstile>            code: 0x0022a8  group: relation  abbrev: |=
    1.47 -\<tturnstile>           code: 0x0022a9  group: relation  abbrev: ||-
    1.48 -\<TTurnstile>           code: 0x0022ab  group: relation  abbrev: ||=
    1.49 +\<tturnstile>           code: 0x0022a9  group: relation  abbrev: |-
    1.50 +\<TTurnstile>           code: 0x0022ab  group: relation  abbrev: |=
    1.51  \<stileturn>            code: 0x0022a3  group: relation  abbrev: -|
    1.52  \<surd>                 code: 0x00221a  group: relation
    1.53  \<le>                   code: 0x002264  group: relation  abbrev: <=
    1.54 @@ -254,7 +254,7 @@
    1.55  \<Uplus>                code: 0x002a04  group: operator
    1.56  \<noteq>                code: 0x002260  group: relation  abbrev: ~=
    1.57  \<sim>                  code: 0x00223c  group: relation
    1.58 -\<doteq>                code: 0x002250  group: relation  abbrev: =.
    1.59 +\<doteq>                code: 0x002250  group: relation  abbrev: .=
    1.60  \<simeq>                code: 0x002243  group: relation
    1.61  \<approx>               code: 0x002248  group: relation
    1.62  \<asymp>                code: 0x00224d  group: relation