etc/symbols
changeset 67305 ecb74607063f
parent 64556 851ae0e7b09c
child 67311 3869b2400e22
     1.1 --- a/etc/symbols	Sat Dec 30 20:04:05 2017 +0100
     1.2 +++ b/etc/symbols	Sat Dec 30 21:46:19 2017 +0100
     1.3 @@ -326,7 +326,7 @@
     1.4  \<angle>                code: 0x002220
     1.5  \<copyright>            code: 0x0000a9
     1.6  \<registered>           code: 0x0000ae
     1.7 -\<hyphen>               code: 0x0000ad  group: punctuation
     1.8 +\<hyphen>               code: 0x002010  group: punctuation
     1.9  \<inverse>              code: 0x0000af  group: punctuation
    1.10  \<onequarter>           code: 0x0000bc  group: digit
    1.11  \<onehalf>              code: 0x0000bd  group: digit