While the complexity of translating future linear temporal logic (LTL) into automata on infinite words is well-understood, size increase involved in turning back to LTL not. In particular, there no known elementary bound deterministic $\omega$-regular LTL. Our first contribution consists tight bounds for over a unary alphabet: alternating, nondeterministic and can be exactly exponentially, quad...