etc/symbols

 \<^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
+\<^can>                 argument: cartouche
 \<^class>               argument: cartouche
 \<^class_syntax>        argument: cartouche
 \<^command_keyword>     argument: cartouche
 \<^const>               argument: cartouche
 \<^const_abbrev>        argument: cartouche

 \<^system_option>       argument: cartouche
 \<^term>                argument: cartouche
 \<^theory>              argument: cartouche
 \<^theory_context>      argument: cartouche
 \<^tool>                argument: cartouche
+\<^try>                 argument: cartouche
 \<^typ>                 argument: cartouche
 \<^type_abbrev>         argument: cartouche
 \<^type_name>           argument: cartouche
 \<^type_syntax>         argument: cartouche
 \<^oracle_name>         argument: cartouche