Syntax definition csate

Description: The e. -satisfaction function.

	Ref	Expression
Assertion	csate	$$class{\mathrm{Sat}}_{\in }$$