I want to confirm how I write the below expression,

mu(t) = beta*E_t{E_t(V(t+1)^(1-alpha))^(alpha/(1-alpha))*V(t+1)^(-alpha)*(r(t+1)+mu(t+1))}

where E_t is the current expectation parameter.

Given that I have defined,

W(t) = E_t(V(t+1)^(1-alpha))

In Dynare,

beta = betta;

alpha = alpa;

Then I can write the expression given at the top in Dynare as,

mu = betta*W^(alp/(1-alp))*V(+1)^(-alp)*(r(+1)+mu(+1))

Is the above expression correct? Thanks for your attention.