Syntax definition cbr

Description: Extend class notation with the bra of a vector in Dirac bra-ket notation.

	Ref	Expression
Assertion	cbr	class bra