--- a/lib/texinputs/isabellesym.sty Wed Mar 17 22:24:57 2021 +0100
+++ b/lib/texinputs/isabellesym.sty Thu Mar 18 12:41:17 2021 +0100
@@ -397,6 +397,7 @@
\newcommand{\isasymZrres}{\isamath{\rhd}} %requires amssymb
\newcommand{\isasymZnrres}{\isaZhbar{\isamath{\rhd}}} %requires amssymb
\newcommand{\isasymZspot}{\isamath{\bullet}}
+\newcommand{\isasymZproject}{\isamath{\upharpoonright}} %requires amssymb
\newcommand{\isasymZtypecolon}{\isatext{\raise 0.6ex\hbox{\oalign{\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil\cr\hfil\isamath{\scriptscriptstyle\mathrm{o}}\hfil}}}}
\newcommand{\isasymZhide}{\isamath{\backslash}}
\newcommand{\isasymZcat}{\isatext{\raise 0.8ex\hbox{\isamath{\mathchar\frown}}}}