5 ms·It is written in LaTeX. It even says so in the first few pages.by sjtrny 11y agoIt is written in LaTeX. It even says so in the first few pages.