Syntax definition clmi

Description: Declare the constant for the line mirroring function.

	Ref	Expression
Assertion	clmi	$$class{lInv}_{𝒢}$$