Syntax definition caltop

Description: Declare the syntax for an alternate ordered pair.

	Ref	Expression
Assertion	caltop	class ⟪ 𝐴 , 𝐵 ⟫