equal
deleted
inserted
replaced
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 group: punctuation font: IsabelleText abbrev: << |
351 \<open> code: 0x002039 group: punctuation font: IsabelleText abbrev: << |
352 \<close> code: 0x00203a group: punctuation font: IsabelleText abbrev: >> |
352 \<close> code: 0x00203a group: punctuation font: IsabelleText abbrev: >> |
|
353 \<here> code: 0x002302 font: IsabelleText |
353 \<^sub> code: 0x0021e9 group: control font: IsabelleText |
354 \<^sub> code: 0x0021e9 group: control font: IsabelleText |
354 \<^sup> code: 0x0021e7 group: control font: IsabelleText |
355 \<^sup> code: 0x0021e7 group: control font: IsabelleText |
355 \<^bold> code: 0x002759 group: control font: IsabelleText |
356 \<^bold> code: 0x002759 group: control font: IsabelleText |
356 \<^bsub> code: 0x0021d8 group: control_block font: IsabelleText abbrev: =_( |
357 \<^bsub> code: 0x0021d8 group: control_block font: IsabelleText abbrev: =_( |
357 \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) |
358 \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_) |