Resolution enhancement in linear time-of-flight mass spectrometry by post-source pulse focusing