--- a/lib/texinputs/isabellesym.sty Sat Jan 14 22:37:15 2023 +0100
+++ b/lib/texinputs/isabellesym.sty Sat Jan 14 23:50:13 2023 +0100
@@ -495,3 +495,8 @@
\newcommand{\isactrlifUNDERSCOREmacos}{\isakeywordcontrol{if{\isacharunderscore}macos}}
\newcommand{\isactrlifUNDERSCOREwindows}{\isakeywordcontrol{if{\isacharunderscore}windows}}
\newcommand{\isactrlifUNDERSCOREunix}{\isakeywordcontrol{if{\isacharunderscore}unix}}
+
+\newcommand{\isactrlcite}{\isakeywordcontrol{cite}}
+\newcommand{\isactrlnocite}{\isakeywordcontrol{nocite}}
+\newcommand{\isactrlcitet}{\isakeywordcontrol{citet}}
+\newcommand{\isactrlcitep}{\isakeywordcontrol{citep}}