DeepControl.Applicative

Level-0

bra-ket notation

(|>)

(<|)

Level-1

cover notation

(*:)

bra-ket notation

(|$>)

(<$|)

(|*>)

(<*|)

braket-cover notation

(|*)

(*|)

Level-2

cover notation

(**:)

(*-)

(-*)

bra-ket notation

(|$>>)

(<<$|)

(|*>>)

(<<*|)

braket-cover notation

(|**)

(**|)

(|-*)

(|*-)

(-*|)

(*-|)

Level-3

cover notation

(***:)

(**-)

(*-*)

(-**)

(--*)

(-*-)

(*--)

bra-ket notation

(|$>>>)

(<<<$|)

(|*>>>)

(<<<*|)

braket-cover notation

(|***)

(***|)

(|-**)

(|*-*)

(|**-)

(|--*)

(|-*-)

(|*--)

(-**|)

(*-*|)

(**-|)

(--*|)

(-*-|)

(*--|)

Level-4

cover notation

(****:)

bra-ket notation

(|$>>>>)

(<<<<$|)

(|*>>>>)

(<<<<*|)

Level-5

cover notation

(*****:)

bra-ket notation

(|$>>>>>)

(<<<<<$|)

(|*>>>>>)

(<<<<<*|)