etc/symbols
changeset 43503 ca87677d2265
parent 43486 4a1ef71fbf5f
child 46213 0a5af667dc75
equal deleted inserted replaced
43502:736183a22fa4 43503:ca87677d2265
   355 \<some>                 code: 0x0003f5
   355 \<some>                 code: 0x0003f5
   356 \<^sub>                 code: 0x0021e9  abbrev: =_
   356 \<^sub>                 code: 0x0021e9  abbrev: =_
   357 \<^sup>                 code: 0x0021e7  abbrev: =^
   357 \<^sup>                 code: 0x0021e7  abbrev: =^
   358 \<^isub>                code: 0x0021e3  abbrev: -_
   358 \<^isub>                code: 0x0021e3  abbrev: -_
   359 \<^isup>                code: 0x0021e1  abbrev: -^
   359 \<^isup>                code: 0x0021e1  abbrev: -^
       
   360 \<^bsub>                code: 0x0021d8  abbrev: =_(
       
   361 \<^esub>                code: 0x0021d9  abbrev: =_)
       
   362 \<^bsup>                code: 0x0021d7  abbrev: =^(
       
   363 \<^esup>                code: 0x0021d6  abbrev: =^)
   360 \<^bold>                code: 0x002759  abbrev: -.
   364 \<^bold>                code: 0x002759  abbrev: -.
   361 
   365