equal
deleted
inserted
replaced
346 \<dieresis> code: 0x0000a8 |
346 \<dieresis> code: 0x0000a8 |
347 \<cedilla> code: 0x0000b8 |
347 \<cedilla> code: 0x0000b8 |
348 \<hungarumlaut> code: 0x0002dd |
348 \<hungarumlaut> code: 0x0002dd |
349 \<some> code: 0x0003f5 |
349 \<some> code: 0x0003f5 |
350 \<newline> code: 0x0023ce |
350 \<newline> code: 0x0023ce |
|
351 \<open> code: 0x002039 abbrev: << font: IsabelleText |
|
352 \<close> code: 0x00203a abbrev: >> font: IsabelleText |
351 \<^sub> code: 0x0021e9 group: control font: IsabelleText |
353 \<^sub> code: 0x0021e9 group: control font: IsabelleText |
352 \<^sup> code: 0x0021e7 group: control font: IsabelleText |
354 \<^sup> code: 0x0021e7 group: control font: IsabelleText |
353 \<^bold> code: 0x002759 group: control font: IsabelleText |
355 \<^bold> code: 0x002759 group: control font: IsabelleText |
354 \<^bsub> code: 0x0021d8 group: control_block font: IsabelleText abbrev: =_( |
356 \<^bsub> code: 0x0021d8 group: control_block font: IsabelleText abbrev: =_( |
355 \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) |
357 \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) |