It's actually pretty cool of arxiv to provide a gzip of the source files for the pdf, here TeX: https://arxiv.org/format/2009.06789 https://arxiv.org/format/20

It's actually pretty cool of arxiv to provide a gzip of the source files for the pdf, here TeX: https://arxiv.org/format/2009.06789 https://arxiv.org/format/2009.06789