Syntax definition cufil

Description: Extend class notation with the ultrafilters-on-a-set function.

	Ref	Expression
Assertion	cufil	$$class\mathrm{UFil}$$