etc/symbols

--- a/etc/symbols	Sun Oct 24 18:29:21 2021 +0200
+++ b/etc/symbols	Sun Oct 24 20:25:51 2021 +0200
@@ -455,8 +455,8 @@
 \<^cprop>               argument: cartouche
 \<^cterm>               argument: cartouche
 \<^ctyp>                argument: cartouche
+\<^instantiate>         argument: cartouche
 \<^keyword>             argument: cartouche
-\<^let>                 argument: cartouche
 \<^locale>              argument: cartouche
 \<^make_judgment>
 \<^dest_judgment>