etc/symbols

--- a/etc/symbols	Sun May 24 14:47:28 2020 +0200
+++ b/etc/symbols	Sun May 24 19:45:42 2020 +0200
@@ -417,6 +417,8 @@
 \<^plugin>              argument: cartouche
 \<^print>
 \<^prop>                argument: cartouche
+\<^scala>               argument: cartouche
+\<^scala_function>      argument: cartouche
 \<^session>             argument: cartouche
 \<^simproc>             argument: cartouche
 \<^sort>                argument: cartouche