Syntax definition csalon

Description: Extend class notation with the class of sigma-algebras on a set.

	Ref	Expression
Assertion	csalon	$$class\mathrm{SalOn}$$