I guess that you tried to translation this with the translation rules from CTL to µ-calculus which is not possible since that formula does not belong to CTL. The formula has been discussed in the chapter on µ-calculus. There is not simple way for that translation, it took some slides, namely slides 38-40 of the µ-calculus chapter to explain it.