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

(|**)

(**|)

(|-*)

(|*-)

(-*|)

(*-|)

sequnce notation

(*>>)

(<<*)

sequnce-cover notation

(-*>)

(<-*)

(*->)

(<*-)

Level-3

cover notation

(***:)

(**-)

(*-*)

(-**)

(--*)

(-*-)

(*--)

bra-ket notation

(|$>>>)

(<<<$|)

(|*>>>)

(<<<*|)

braket-cover notation

(|***)

(***|)

(|-**)

(|*-*)

(|**-)

(|--*)

(|-*-)

(|*--)

(-**|)

(*-*|)

(**-|)

(--*|)

(-*-|)

(*--|)

sequnce notation

(*>>>)

(<<<*)

sequnce-cover notation

(*-->)

(-*->)

(--*>)

(**->)

(*-*>)

(-**>)

(<*--)

(<-*-)

(<--*)

(<**-)

(<*-*)

(<-**)

Level-4

cover notation

(****:)

bra-ket notation

(|$>>>>)

(<<<<$|)

(|*>>>>)

(<<<<*|)

sequnce notation

(*>>>>)

(<<<<*)

Level-5

cover notation

(*****:)

bra-ket notation

(|$>>>>>)

(<<<<<$|)

(|*>>>>>)

(<<<<<*|)

sequnce notation

(*>>>>>)

(<<<<<*)