Nice to hear about an alternative TeX and LaTeX engine written in Rust: https://tectonic-typesetting.github.io/ Tectonic. Its source code is https://github.com/tectonic-typesetting/tectonic.git openly available and of course, I tried it! After building it (cargo build –release), I run it against the paper for SAST. It through an error: error: amssymb.sty:261: LaTeX Error: Command `\Bbbk' already defined`. https://tex.stackexchange.com/questions/564490 Some research on StackExchange showed it was related to the package amssymb, which was used by the .tex (but not by the .cls). As the paper did not require that package, I simply removed the dependency on that package.