Syntax definition ciminv

Description: Syntax for the functionalized inverse image.

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