DeepControl.Applicative

Level-0

bra-ket notation

(|>)

(<|)

Level-1

cover notation

(.*)

bra-ket notation

(|$>)

(<$|)

(|*>)

(<*|)

cover-bracket notation

(|*)

(*|)

Level-2

cover notation

(.**)

(-*)

bra-ket notation

(|$>>)

(<<$|)

(|*>>)

(<<*|)

cover-bracket notation

(|**)

(**|)

(|-*)

(|*-)

(-*|)

(*-|)

sequence notation

(*>>)

(<<*)

cover-sequence notation

(-*>)

(<-*)

(*->)

(<*-)

Level-3

cover notation

(.***)

(*-*)

(-**)

(--*)

bra-ket notation

(|$>>>)

(<<<$|)

(|*>>>)

(<<<*|)

cover-bracket notation

(|***)

(|-**)

(|*-*)

(|**-)

(|--*)

(|-*-)

(|*--)

(***|)

(-**|)

(*-*|)

(**-|)

(--*|)

(-*-|)

(*--|)

sequence notation

(*>>>)

(<<<*)

cover-sequence notation

(*-->)

(-*->)

(--*>)

(**->)

(*-*>)

(-**>)

(<*--)

(<-*-)

(<--*)

(<**-)

(<*-*)

(<-**)

Level-4

cover notation

(.****)

(---*)

(--**)

(-*-*)

(*--*)

(-***)

(*-**)

(**-*)

bra-ket notation

(|$>>>>)

(<<<<$|)

(|*>>>>)

(<<<<*|)

cover-bracket notation

(|****)

(|-***)

(|*-**)

(|**-*)

(|***-)

(|--**)

(|-*-*)

(|*--*)

(|*-*-)

(|-**-)

(|**--)

(|---*)

(|--*-)

(|-*--)

(|*---)

(****|)

(-***|)

(*-**|)

(**-*|)

(***-|)

(--**|)

(-*-*|)

(*--*|)

(*-*-|)

(-**-|)

(**--|)

(---*|)

(--*-|)

(-*--|)

(*---|)

sequence notation

(*>>>>)

(<<<<*)

cover-sequence notation

(<---*)

(<--*-)

(<-*--)

(<*---)

(<--**)

(<-*-*)

(<*--*)

(<*-*-)

(<-**-)

(<**--)

(<-***)

(<*-**)

(<**-*)

(<***-)

(---*>)

(--*->)

(-*-->)

(*--->)

(--**>)

(-*-*>)

(*--*>)

(*-*->)

(-**->)

(**-->)

(-***>)

(*-**>)

(**-*>)

(***->)

Level-5

cover notation

(.*****)

(----*)

(---**)

(--*-*)

(-*--*)

(*---*)

(--***)

(-*-**)

(*--**)

(*-*-*)

(-**-*)

(**--*)

(-****)

(*-***)

(**-**)

(***-*)

bra-ket notation

(|$>>>>>)

(<<<<<$|)

(|*>>>>>)

(<<<<<*|)

cover-bracket notation

(|-****)

(|*-***)

(|**-**)

(|***-*)

(|****-)

(|--***)

(|-*-**)

(|*--**)

(|*-*-*)

(|-**-*)

(|**--*)

(|**-*-)

(|*-**-)

(|-***-)

(|***--)

(|---**)

(|--*-*)

(|-*--*)

(|*---*)

(|*--*-)

(|-*-*-)

(|--**-)

(|-**--)

(|*-*--)

(|**---)

(|----*)

(|---*-)

(|--*--)

(|-*---)

(|*----)

(-****|)

(*-***|)

(**-**|)

(***-*|)

(****-|)

(--***|)

(-*-**|)

(*--**|)

(*-*-*|)

(-**-*|)

(**--*|)

(**-*-|)

(*-**-|)

(-***-|)

(***--|)

(---**|)

(--*-*|)

(-*--*|)

(*---*|)

(*--*-|)

(-*-*-|)

(--**-|)

(-**--|)

(*-*--|)

(**---|)

(----*|)

(---*-|)

(--*--|)

(-*---|)

(*----|)

sequence notation

(*>>>>>)

(<<<<<*)

cover-sequence notation

(<----*)

(<---*-)

(<--*--)

(<-*---)

(<*----)

(<---**)

(<--*-*)

(<-*--*)

(<*---*)

(<*--*-)

(<-*-*-)

(<--**-)

(<-**--)

(<*-*--)

(<**---)

(<--***)

(<-*-**)

(<*--**)

(<*-*-*)

(<-**-*)

(<**--*)

(<**-*-)

(<*-**-)

(<-***-)

(<***--)

(<-****)

(<*-***)

(<**-**)

(<***-*)

(<****-)

(----*>)

(---*->)

(--*-->)

(-*--->)

(*---->)

(---**>)

(--*-*>)

(-*--*>)

(*---*>)

(*--*->)

(-*-*->)

(--**->)

(-**-->)

(*-*-->)

(**--->)

(--***>)

(-*-**>)

(*--**>)

(*-*-*>)

(-**-*>)

(**--*>)

(**-*->)

(*-**->)

(-***->)

(***-->)

(-****>)

(*-***>)

(**-**>)

(***-*>)

(****->)