cbr - Hilbert Space Explorer

	Hilbert Space Explorer		< Previous Next > Nearby theorems
Mirrors > Home > HSE Home > Th. List > cbr		Structured version Visualization version GIF version

Syntax Definition cbr 29318

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

**Assertion**
Ref	Expression
cbr	class bra

See definition df-bra 30212 for more information.

Colors of variables: wff setvar class