diff -r 7a9c559bc518 -r c8e08d8ffb93 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sat Mar 30 12:07:31 2019 +0100
+++ b/lib/texinputs/isabellesym.sty	Sat Mar 30 20:54:47 2019 +0100
@@ -394,6 +394,7 @@
 \newcommand{\isactrlnamedUNDERSCOREtheorems}{\isakeywordcontrol{named{\isacharunderscore}theorems}}
 \newcommand{\isactrlnonterminal}{\isakeywordcontrol{nonterminal}}
 \newcommand{\isactrlpath}{\isakeywordcontrol{path}}
+\newcommand{\isactrlpathUNDERSCOREbinding}{\isakeywordcontrol{path{\isacharunderscore}binding}}
 \newcommand{\isactrlplugin}{\isakeywordcontrol{plugin}}
 \newcommand{\isactrlprint}{\isakeywordcontrol{print}}
 \newcommand{\isactrlprop}{\isakeywordcontrol{prop}}