Syntax definition crecs

Description: Notation for a function defined by strong transfinite recursion.

	Ref	Expression
Assertion	crecs	class recs ( 𝐹 )