Finished extracting code from .tex