--- a/etc/symbols Fri Sep 10 23:18:51 2021 +0200
+++ b/etc/symbols Sat Sep 11 13:04:32 2021 +0200
@@ -482,10 +482,12 @@
\<^theory_context> argument: cartouche
\<^tool> argument: cartouche
\<^try> argument: cartouche
+\<^tvar> argument: cartouche
\<^typ> argument: cartouche
\<^type_abbrev> argument: cartouche
\<^type_name> argument: cartouche
\<^type_syntax> argument: cartouche
+\<^var> argument: cartouche
\<^oracle_name> argument: cartouche
\<^code> argument: cartouche
\<^computation> argument: cartouche