3 ms·Ah, turns out it only uses TeX fonts and implements its own typesetter.by amk_ 11y agoAh, turns out it only uses TeX fonts and implements its own typesetter.