Syntax definition coml

Description: Extend class notation with orthomodular lattices.

	Ref	Expression
Assertion	coml	$$class\mathrm{OML}$$