Syntax definition crecs

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

	Ref	Expression
Assertion	crecs	$$class\mathrm{recs}\left(F\right)$$