Syntax definition cmgc

Description: Extend class notation with the monotone Galois connection.

	Ref	Expression
Assertion	cmgc	Could not format assertion : No typesetting found for class MGalConn with typecode class