Syntax definition cnorec2

Description: Declare the syntax for surreal recursion on two arguments.

	Ref	Expression
Assertion	cnorec2	class norec2 ( 𝐹 )