Pensieve header: A μ-calculus demo for my Hamburg talk.

SetDirectory["/drorbn/AcademicPensieve/2012-08"];
<< muCalculus.m

Format[CW[w_], StandardForm] := "["<>w<>"]";

(Subscript[T, 0])=Rm[3,a]Rp[b,2]Rp[1,4];
ζ=(Subscript[T, 0])//dm[2,1,1]//dm[4,b,b]//dm[1,a,a]//dm[3,a,a];
ζ[{5}]/.{w_LW:>(Deg[w]+1)!w,w_CW:>Deg[w]!w}

ζ[{10}] /. {w_LW :> (Deg[w]+1)!*w, w_CW :> Deg[w]!*w}