ArXiv and `listings`

Stream: general

[Jesse Michael Han]

Has anyone here successfully submitted a paper to the ArXiv using the listings package with the lstlean.tex file for Lean syntax highlighting? My submission compiles, but all the Unicode is for some reason changed to either \exists or \Omega.

[Jesse Michael Han]

aha, so the culprit was in the lipics-v2019.cls class file---lstlean.tex really needs the utf8x option instead of just utf8 when importing the inputenc package

[Jeremy Avigad]

I tried this a number of years ago and could not get it to work. If you have better luck now, please let me know...

[Jesse Michael Han]

so by just uploading everything required for compilation, including the lipics-v2019.cls file, it compiled fine---but only after i dove into the lipics-v2019.cls and changed the [utf8] option for the inputenc package to [utf8x]. that was the only change that was required to make it compile correctly. (it might be easier now that ArXiv's probably upgraded their texlive distribution)