Syntax definition culm

Description: Extend class notation to include the uniform convergence predicate.

	Ref	Expression
Assertion	culm	$$class\underset{u}{⇝}$$