Syntax definition c1stf

Description: Extend class notation with the first projection functor.

	Ref	Expression
Assertion	c1stf	$$class{1^{st}}_F$$