Syntax definition cur

Description: Extend class notation with ring unity.

	Ref	Expression
Assertion	cur	$$class{1}_r$$