Syntax definition cmfs

Description: The set of formal systems.

	Ref	Expression
Assertion	cmfs	$$class\mathrm{mFS}$$