TeXize full forwardtrace