LuaLaTeX becomes now the officially recommended engine. There are benefits to immigrate from XeLaTeX to LuaLaTeX, e.g. font fallbacks for unicode characters, which is especially crucial for displaying Lean code.
However seemingly this is not well-handled by Quarto currently. TinyTeX fails to compile basic CTeX documents, with error
! LuaTeX-ja error: File `jfm-zh_CN.lua` not found.
Tried on Overleaf, with no errors. Reason for this is unknown yet.
LuaLaTeX becomes now the officially recommended engine. There are benefits to immigrate from XeLaTeX to LuaLaTeX, e.g. font fallbacks for unicode characters, which is especially crucial for displaying Lean code.
However seemingly this is not well-handled by Quarto currently. TinyTeX fails to compile basic CTeX documents, with error
Tried on Overleaf, with no errors. Reason for this is unknown yet.