 The operators basically are the same as in CTL.However, in CTL, every temporal operator (formula_7) has to be directly preceded by a quantifier, while in CTL* this is not required.The universal path quantifier may be defined in CTL* in the same way as for classical predicate calculus formula_8, although this in not possible in the CTL fragment.