2 ms·Worth reading, but boy is that font painful. Looks like one of the older bitmapped latex CM font?by ohazi 7y agoWorth reading, but boy is that font painful. Looks like one of the older bitmapped latex CM font?