4 ms·

I thought he was working at a time when there was no Latex. (Of course, some people do like Plain TeX more.)