Syntax definition cbday

Description: Declare the birthday function for surreal numbers (see df-bday ).

	Ref	Expression
Assertion	cbday	$$class\mathrm{bday}$$