In CTL*, the temporal operators can be freely mixed.
CTL* では、時相作用素は自由に混合できる。