Syntax definition cip

Description: Extend class notation with Hermitian form (inner product).

	Ref	Expression
Assertion	cip	$$class{\cdot }_{𝑖}$$