3 ms·Ah nothing like a DEK post to pull out the old TeX folks on HN.by dhosek 2y agoAh nothing like a DEK post to pull out the old TeX folks on HN.