Syntax definition cae

Description: Extend class notation to include the 'almost everywhere' relation.

	Ref	Expression
Assertion	cae	$$class\mathrm{ae}$$