Hitting probabilities of finite points for one-dimensional Lévy processes

For a one-dimensional Lévy process, we derive an explicit formula for the probability of first hitting a specified point among a fixed finite set. Moreover, using this formula, we obtain an explicit expression for each entry of the Q-matrix of the trace process on the finite set. These formulas involve solely the renormalized zero resolvent.