etc/symbols

 \<^context>
 \<^cprop>               argument: cartouche
 \<^cterm>               argument: cartouche
 \<^ctyp>                argument: cartouche
 \<^keyword>             argument: cartouche
+\<^let>                 argument: cartouche
 \<^locale>              argument: cartouche
 \<^make_judgment>
 \<^dest_judgment>
 \<^make_string>
 \<^method>              argument: cartouche

 \<^computation_check>   argument: cartouche
 \<^if_linux>            argument: cartouche
 \<^if_macos>            argument: cartouche
 \<^if_windows>          argument: cartouche
 \<^if_unix>             argument: cartouche
-