etc/symbols

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