3 ms·As someone who writes with Latex, thanks for pointing out this problem, I hadn't considered it.by tgb 9y agoAs someone who writes with Latex, thanks for pointing out this problem, I hadn't considered it.