Syntax definition ccrossp

Description: Extend class notation to include the cross product operation. (Contributed by Jiamin Zhao, 31-Jul-2026)

	Ref	Expression
Assertion	ccrossp	class crossp