1.1 --- a/etc/symbols Wed Aug 22 12:47:53 2018 +0200
1.2 +++ b/etc/symbols Wed Aug 22 14:44:15 2018 +0200
1.3 @@ -326,7 +326,7 @@
1.4 \<angle> code: 0x002220
1.5 \<copyright> code: 0x0000a9
1.6 \<registered> code: 0x0000ae
1.7 -\<hyphen> code: 0x0000ad group: punctuation
1.8 +\<hyphen> code: 0x002010 group: punctuation
1.9 \<inverse> code: 0x0000af group: punctuation
1.10 \<onequarter> code: 0x0000bc group: digit
1.11 \<onehalf> code: 0x0000bd group: digit
1.12 @@ -358,7 +358,9 @@
1.13 \<some> code: 0x0003f5
1.14 \<hole> code: 0x002311
1.15 \<newline> code: 0x0023ce
1.16 -\<comment> code: 0x002015 group: document font: IsabelleText
1.17 +\<comment> code: 0x002015 group: document argument: space_cartouche font: IsabelleText
1.18 +\<^cancel> code: 0x002326 group: document argument: cartouche font: IsabelleText
1.19 +\<^latex> group: document argument: cartouche
1.20 \<open> code: 0x002039 group: punctuation font: IsabelleText abbrev: <<
1.21 \<close> code: 0x00203a group: punctuation font: IsabelleText abbrev: >>
1.22 \<^here> code: 0x002302 font: IsabelleText
1.23 @@ -370,19 +372,57 @@
1.24 \<^item> code: 0x0025aa group: document font: IsabelleText
1.25 \<^enum> code: 0x0025b8 group: document font: IsabelleText
1.26 \<^descr> code: 0x0027a7 group: document font: IsabelleText
1.27 -\<^footnote> code: 0x00204b group: document font: IsabelleText
1.28 -\<^verbatim> code: 0x0025a9 group: document font: IsabelleText
1.29 -\<^theory_text> code: 0x002b1a group: document font: IsabelleText
1.30 -\<^emph> code: 0x002217 group: document font: IsabelleText
1.31 -\<^bold> code: 0x002759 group: control group: document font: IsabelleText
1.32 +\<^footnote> code: 0x00204b group: document argument: cartouche font: IsabelleText
1.33 +\<^verbatim> code: 0x0025a9 group: document argument: cartouche font: IsabelleText
1.34 +\<^theory_text> code: 0x002b1a group: document argument: cartouche font: IsabelleText
1.35 +\<^emph> code: 0x002217 group: document argument: cartouche font: IsabelleText
1.36 +\<^bold> code: 0x002759 group: control argument: cartouche group: document font: IsabelleText
1.37 \<^sub> code: 0x0021e9 group: control font: IsabelleText
1.38 \<^sup> code: 0x0021e7 group: control font: IsabelleText
1.39 \<^bsub> code: 0x0021d8 group: control_block font: IsabelleText abbrev: =_(
1.40 \<^esub> code: 0x0021d9 group: control_block font: IsabelleText abbrev: =_)
1.41 \<^bsup> code: 0x0021d7 group: control_block font: IsabelleText abbrev: =^(
1.42 \<^esup> code: 0x0021d6 group: control_block font: IsabelleText abbrev: =^)
1.43 -\<^file> code: 0x01F5CF group: icon font: IsabelleText
1.44 -\<^dir> code: 0x01F5C0 group: icon font: IsabelleText
1.45 -\<^url> code: 0x01F310 group: icon font: IsabelleText
1.46 -\<^doc> code: 0x01F4D3 group: icon font: IsabelleText
1.47 -\<^action> code: 0x00261b group: icon font: IsabelleText
1.48 +\<^file> code: 0x01F5CF group: icon argument: cartouche font: IsabelleText
1.49 +\<^dir> code: 0x01F5C0 group: icon argument: cartouche font: IsabelleText
1.50 +\<^url> code: 0x01F310 group: icon argument: cartouche font: IsabelleText
1.51 +\<^doc> code: 0x01F4D3 group: icon argument: cartouche font: IsabelleText
1.52 +\<^action> code: 0x00261b group: icon argument: cartouche font: IsabelleText
1.53 +\<^assert>
1.54 +\<^binding> argument: cartouche
1.55 +\<^class> argument: cartouche
1.56 +\<^class_syntax> argument: cartouche
1.57 +\<^command_keyword> argument: cartouche
1.58 +\<^const_abbrev> argument: cartouche
1.59 +\<^const_name> argument: cartouche
1.60 +\<^const_syntax> argument: cartouche
1.61 +\<^context>
1.62 +\<^cprop> argument: cartouche
1.63 +\<^cterm> argument: cartouche
1.64 +\<^ctyp> argument: cartouche
1.65 +\<^keyword> argument: cartouche
1.66 +\<^locale> argument: cartouche
1.67 +\<^make_string>
1.68 +\<^method> argument: cartouche
1.69 +\<^named_theorems> argument: cartouche
1.70 +\<^nonterminal> argument: cartouche
1.71 +\<^path> argument: cartouche
1.72 +\<^plugin> argument: cartouche
1.73 +\<^print>
1.74 +\<^prop> argument: cartouche
1.75 +\<^session> argument: cartouche
1.76 +\<^simproc> argument: cartouche
1.77 +\<^sort> argument: cartouche
1.78 +\<^syntax_const> argument: cartouche
1.79 +\<^system_option> argument: cartouche
1.80 +\<^term> argument: cartouche
1.81 +\<^theory> argument: cartouche
1.82 +\<^theory_context> argument: cartouche
1.83 +\<^typ> argument: cartouche
1.84 +\<^type_abbrev> argument: cartouche
1.85 +\<^type_name> argument: cartouche
1.86 +\<^type_syntax> argument: cartouche
1.87 +\<^code> argument: cartouche
1.88 +\<^computation> argument: cartouche
1.89 +\<^computation_conv> argument: cartouche
1.90 +\<^computation_check> argument: cartouche