Syntax definition crmy

Description: Extend class notation to include the Robertson-Matiyasevich Y sequence.

	Ref	Expression
Assertion	crmy	class rmY