We consider a two-sided exit problem for a Lévy process with no positive jumps. The Laplace transform of the time when the process first exits an interval from above is obtained. It is expressed in ...