4 ms·Every Latex editor I've used uses (I think) that font by defaultby aquova 3y agoEvery Latex editor I've used uses (I think) that font by default