TeXize forwardtrace