Imported main .tex source.