Syntax definition cmee

Description: Extend class notation with poset meet.

	Ref	Expression
Assertion	cmee	$$class\mathrm{meet}$$