Syntax definition crmy

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

	Ref	Expression
Assertion	crmy	$$class{Y}_{\mathrm{rm}}$$