Added tex file, really