etc/symbols

--- a/etc/symbols	Fri Oct 20 16:40:41 2023 +0200
+++ b/etc/symbols	Fri Oct 20 22:19:05 2023 +0200
@@ -478,6 +478,7 @@
 \<^scala_type>          argument: cartouche
 \<^session>             argument: cartouche
 \<^simproc>             argument: cartouche
+\<^simproc_setup>       argument: cartouche
 \<^sort>                argument: cartouche
 \<^syntax_const>        argument: cartouche
 \<^system_option>       argument: cartouche