Syntax definition caltop

Description: Declare the syntax for an alternate ordered pair.

	Ref	Expression
Assertion	caltop	$$class⟪A,B⟫$$