3 ms·
MLModern looks much better. I wish they would replace CModern with this as the default font. Does it include ports of the AMS packages with extra symbols?
by setopt 2y ago
MLModern looks much better. I wish they would replace CModern with this as the default font.
Does it include ports of the AMS packages with extra symbols?