Syntax definition cstf

Description: Extend class notation with the functionalization of the *-ring involution.

	Ref	Expression
Assertion	cstf	$$class{\ast }_{\mathrm{𝑟𝑓}}$$