Syntax definition cbr

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

	Ref	Expression
Assertion	cbr	$$class\mathrm{bra}$$