etc/symbols
changeset 69343 395c4fb15ea2
parent 67470 d36fcde7e2c0
child 69361 0d84e3db67c2
--- a/etc/symbols	Sat Nov 24 16:41:18 2018 +0100
+++ b/etc/symbols	Sat Nov 24 18:56:44 2018 +0100
@@ -358,36 +358,36 @@
 \<some>                 code: 0x0003f5
 \<hole>                 code: 0x002311
 \<newline>              code: 0x0023ce
-\<comment>              code: 0x002015  group: document  argument: space_cartouche  font: IsabelleText
-\<^cancel>              code: 0x002326  group: document  argument: cartouche  font: IsabelleText
+\<comment>              code: 0x002015  group: document  argument: space_cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^cancel>              code: 0x002326  group: document  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
 \<^latex>                               group: document  argument: cartouche
-\<open>                 code: 0x002039  group: punctuation  font: IsabelleText  abbrev: <<
-\<close>                code: 0x00203a  group: punctuation  font: IsabelleText  abbrev: >>
-\<^here>                code: 0x002302  font: IsabelleText
-\<^undefined>           code: 0x002756  font: IsabelleText
-\<^noindent>            code: 0x0021e4  group: document  font: IsabelleText
-\<^smallskip>           code: 0x002508  group: document  font: IsabelleText
-\<^medskip>             code: 0x002509  group: document  font: IsabelleText
-\<^bigskip>             code: 0x002501  group: document  font: IsabelleText
-\<^item>                code: 0x0025aa  group: document  font: IsabelleText
-\<^enum>                code: 0x0025b8  group: document  font: IsabelleText
-\<^descr>               code: 0x0027a7  group: document  font: IsabelleText
-\<^footnote>            code: 0x00204b  group: document  argument: cartouche  font: IsabelleText
-\<^verbatim>            code: 0x0025a9  group: document  argument: cartouche  font: IsabelleText
-\<^theory_text>         code: 0x002b1a  group: document  argument: cartouche  font: IsabelleText
-\<^emph>                code: 0x002217  group: document  argument: cartouche  font: IsabelleText
-\<^bold>                code: 0x002759  group: control  argument: cartouche  group: document  font: IsabelleText
-\<^sub>                 code: 0x0021e9  group: control  font: IsabelleText
-\<^sup>                 code: 0x0021e7  group: control  font: IsabelleText
-\<^bsub>                code: 0x0021d8  group: control_block  font: IsabelleText  abbrev: =_(
-\<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
-\<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
-\<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
-\<^file>                code: 0x01F5CF  group: icon  argument: cartouche  font: IsabelleText
-\<^dir>                 code: 0x01F5C0  group: icon  argument: cartouche  font: IsabelleText
-\<^url>                 code: 0x01F310  group: icon  argument: cartouche  font: IsabelleText
-\<^doc>                 code: 0x01F4D3  group: icon  argument: cartouche  font: IsabelleText
-\<^action>              code: 0x00261b  group: icon  argument: cartouche  font: IsabelleText
+\<open>                 code: 0x002039  group: punctuation  font: Isabelle␣DejaVu␣Sans␣Mono  abbrev: <<
+\<close>                code: 0x00203a  group: punctuation  font: Isabelle␣DejaVu␣Sans␣Mono  abbrev: >>
+\<^here>                code: 0x002302  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^undefined>           code: 0x002756  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^noindent>            code: 0x0021e4  group: document  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^smallskip>           code: 0x002508  group: document  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^medskip>             code: 0x002509  group: document  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^bigskip>             code: 0x002501  group: document  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^item>                code: 0x0025aa  group: document  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^enum>                code: 0x0025b8  group: document  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^descr>               code: 0x0027a7  group: document  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^footnote>            code: 0x00204b  group: document  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^verbatim>            code: 0x0025a9  group: document  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^theory_text>         code: 0x002b1a  group: document  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^emph>                code: 0x002217  group: document  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^bold>                code: 0x002759  group: control  argument: cartouche  group: document  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^sub>                 code: 0x0021e9  group: control  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^sup>                 code: 0x0021e7  group: control  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^bsub>                code: 0x0021d8  group: control_block  font: Isabelle␣DejaVu␣Sans␣Mono  abbrev: =_(
+\<^esub>                code: 0x0021d9  group: control_block  font: Isabelle␣DejaVu␣Sans␣Mono  abbrev: =_)
+\<^bsup>                code: 0x0021d7  group: control_block  font: Isabelle␣DejaVu␣Sans␣Mono  abbrev: =^(
+\<^esup>                code: 0x0021d6  group: control_block  font: Isabelle␣DejaVu␣Sans␣Mono  abbrev: =^)
+\<^file>                code: 0x01F5CF  group: icon  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^dir>                 code: 0x01F5C0  group: icon  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^url>                 code: 0x01F310  group: icon  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^doc>                 code: 0x01F4D3  group: icon  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
+\<^action>              code: 0x00261b  group: icon  argument: cartouche  font: Isabelle␣DejaVu␣Sans␣Mono
 \<^assert>
 \<^binding>             argument: cartouche
 \<^class>               argument: cartouche