4 ms·
There is a new (soon to be default) preset which doesn’t use extra fonts. Also, any symbol can be overridden using the config file.
by abhinavk 3y ago
There is a new (soon to be default) preset which doesn’t use extra fonts. Also, any symbol can be overridden using the config file.