Am 13.07.22 um 14:27 schrieb Kornel Benko: > You probably don't make your system aware of texlive fonts. > See https://tex.stackexchange.com/questions/257231/using-the-tex-live-fonts-in-xelatex He used lualatex and not xelatex which is far different in finding fonts and, of course, xelatex cannot export dvi. It uses xdv, an own special file format. Herbert