Syntax definition ck

Description: Extend class notation with the outer product of two vectors in Dirac bra-ket notation.

	Ref	Expression
Assertion	ck	$$class\mathrm{ketbra}$$