Syntax definition cmufs

Description: The set of unambiguous formal systems.

	Ref	Expression
Assertion	cmufs	$$class\mathrm{mUFS}$$