that's exactly what is happening. Oh. Well, good :). So how do dvipdfmx and dvisvgm come into it? Just to ignore the special in case the user gives them a dvi file that was processed with backend=dvips (so to speak)?