4 ms·\renewcommand{\baselinestretch}{0.99} Not that I have ever used it, of course.by gattilorenz 8y ago\renewcommand{\baselinestretch}{0.99} Not that I have ever used it, of course.