Syntax definition chpg

Description: "Belong to the same open half-plane" relation for points in a geometry.

	Ref	Expression
Assertion	chpg	class hpG