Extract bits of a LaTeX source for output
