etc/symbols
changeset 53021 d0fa3f446b9d
parent 50194 829ce6e03279
child 53073 1835a83309d6
equal deleted inserted replaced
53020:afdabfeb5e94 53021:d0fa3f446b9d
   350 \<cedilla>              code: 0x0000b8
   350 \<cedilla>              code: 0x0000b8
   351 \<hungarumlaut>         code: 0x0002dd
   351 \<hungarumlaut>         code: 0x0002dd
   352 \<some>                 code: 0x0003f5
   352 \<some>                 code: 0x0003f5
   353 \<^sub>                 code: 0x0021e9  group: control  font: IsabelleText  abbrev: =_
   353 \<^sub>                 code: 0x0021e9  group: control  font: IsabelleText  abbrev: =_
   354 \<^sup>                 code: 0x0021e7  group: control  font: IsabelleText  abbrev: =^
   354 \<^sup>                 code: 0x0021e7  group: control  font: IsabelleText  abbrev: =^
   355 \<^isub>                code: 0x0021e3  group: control  font: IsabelleText  abbrev: -_
       
   356 \<^isup>                code: 0x0021e1  group: control  font: IsabelleText  abbrev: -^
       
   357 \<^bold>                code: 0x002759  group: control  font: IsabelleText  abbrev: -.
   355 \<^bold>                code: 0x002759  group: control  font: IsabelleText  abbrev: -.
   358 \<^bsub>                code: 0x0021d8  group: control_block  font: IsabelleText  abbrev: =_(
   356 \<^bsub>                code: 0x0021d8  group: control_block  font: IsabelleText  abbrev: =_(
   359 \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
   357 \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
   360 \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
   358 \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
   361 \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
   359 \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)