Syntax definition cinvdir

Description: Syntax for the functionalized inverse image.

	Ref	Expression
Assertion	cinvdir	Could not format assertion : No typesetting found for class ~P^* with typecode class