(Temporarily?) lift restriction on symbols that are docked to a Differential on top of a Derivative.
(Temporarily?) lift restriction on symbols that are docked to a Differential on top of a Derivative.

Otherwise text entry doesn't work as expected.

ucam-cl-dtg/isaac-app,ucam-cl-dtg/isaac-app,ucam-cl-dtg/isaac-app,ucam-cl-dtg/isaac-app