implement non-deferred LaTeX output (#4)