etc/symbols

 \<^make_string>
 \<^method>              argument: cartouche
 \<^named_theorems>      argument: cartouche
 \<^nonterminal>         argument: cartouche
 \<^path>                argument: cartouche
+\<^path_binding>        argument: cartouche
 \<^plugin>              argument: cartouche
 \<^print>
 \<^prop>                argument: cartouche
 \<^session>             argument: cartouche
 \<^simproc>             argument: cartouche