Syntax definition cprjcrv

Description: Extend class notation with the projective curve function.

	Ref	Expression
Assertion	cprjcrv	class ℙ𝕣𝕠𝕛Crv